mark_if_marking 4067 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4072 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4086 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);