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);