show_vertical_separator_tee 1239 src/filemanager/panel.c                 show_vertical_separator_tee (panel, ++col);
show_vertical_separator_tee 1243 src/filemanager/panel.c             show_vertical_separator_tee (panel, ++col);