print_last_revert 1747 src/filemanager/filemanager.c     print_last_revert = suppress_last_pwd;
print_last_revert  470 src/main.c             && !print_last_revert)
print_last_revert  202 src/setup.c    int print_last_revert = FALSE;
print_last_revert  130 src/setup.h    extern gboolean print_last_revert;