torben_fj_mode   2366 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   2401 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   3699 src/filemanager/panel.c     if (panels_options.torben_fj_mode && key == ALT ('h'))
torben_fj_mode    145 src/setup.c        .torben_fj_mode = FALSE,
torben_fj_mode    451 src/setup.c        { "torben_fj_mode", &panels_options.torben_fj_mode },
torben_fj_mode     58 src/setup.h        gboolean torben_fj_mode;      // If TRUE, use some usability hacks by Torben