print_last_revert 1757 src/filemanager/filemanager.c     print_last_revert = TRUE;
print_last_revert  468 src/main.c             && !print_last_revert)
print_last_revert  203 src/setup.c    int print_last_revert = FALSE;
print_last_revert  131 src/setup.h    extern gboolean print_last_revert;