mark_if_marking 4066 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4071 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4085 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);