mouse_mark_panel 381 src/filemanager/panel.c static WPanel *mouse_mark_panel = NULL; mouse_mark_panel 3947 src/filemanager/panel.c mouse_mark_panel = current_panel; mouse_mark_panel 3956 src/filemanager/panel.c if (mouse_mark_panel == panel)