mark_if_marking  4069 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);
mark_if_marking  4074 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);
mark_if_marking  4088 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);