show_vertical_separator_tee 1234 src/filemanager/panel.c                 show_vertical_separator_tee (panel, ++col);
show_vertical_separator_tee 1238 src/filemanager/panel.c             show_vertical_separator_tee (panel, ++col);