progress_button_callback  919 src/filemanager/filegui.c                                                 progress_button_callback));
progress_button_callback  925 src/filemanager/filegui.c                                                 progress_button_callback));
progress_button_callback  935 src/filemanager/filegui.c                                                     progress_button_callback));