print_last_revert 1792 src/filemanager/filemanager.c     print_last_revert = TRUE;
print_last_revert  502 src/main.c             && !print_last_revert)
print_last_revert  206 src/setup.c    int print_last_revert = FALSE;
print_last_revert  132 src/setup.h    extern gboolean print_last_revert;