mark_if_marking 4009 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4014 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4028 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);