torben_fj_mode   2462 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   2497 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   3764 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    438 src/setup.c        { "torben_fj_mode", &panels_options.torben_fj_mode },
torben_fj_mode     56 src/setup.h        gboolean torben_fj_mode;    /* If TRUE, use some usability hacks by Torben */