torben_fj_mode   2378 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   2411 src/filemanager/panel.c     if (panels_options.torben_fj_mode)
torben_fj_mode   3610 src/filemanager/panel.c     if (panels_options.torben_fj_mode && key == ALT ('h'))
torben_fj_mode    149 src/setup.c        .torben_fj_mode = FALSE,
torben_fj_mode    427 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 */