mouse_mark_panel  240 src/filemanager/panel.c static WPanel *mouse_mark_panel = NULL;
mouse_mark_panel 3814 src/filemanager/panel.c         mouse_mark_panel = current_panel;
mouse_mark_panel 3823 src/filemanager/panel.c     if (mouse_mark_panel == panel)