mark_if_marking  4068 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);
mark_if_marking  4073 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);
mark_if_marking  4087 src/filemanager/panel.c             mark_if_marking (panel, event, previous_current);