torben_fj_mode   2358 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   2393 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   3687 src/filemanager/panel.c     if (panels_options.torben_fj_mode && key == ALT ('h'))
torben_fj_mode    140 src/setup.c        .torben_fj_mode = FALSE,
torben_fj_mode    440 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