mark_if_marking 4021 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4026 src/filemanager/panel.c mark_if_marking (panel, event, previous_current); mark_if_marking 4040 src/filemanager/panel.c mark_if_marking (panel, event, previous_current);