show_vertical_separator_tee 1237 src/filemanager/panel.c                 show_vertical_separator_tee (panel, ++col);
show_vertical_separator_tee 1241 src/filemanager/panel.c             show_vertical_separator_tee (panel, ++col);