mark_if_marking 4063 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4068 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4082 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);