mark_if_marking 4061 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4066 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4080 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);