GNU bug report logs - #58724
Consider showing the vertical border in the tab line

Previous Next

Full log

Message #8 received at 58724 <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: João Guerra <joca.bt <at> gmail.com>
Cc: 58724 <at> debbugs.gnu.org
Subject: Re: bug#58724: Consider showing the vertical border in the tab line
Date: Tue, 25 Oct 2022 21:46:07 +0300

> The vertical border is not shown in the tab line. See
> no-window-divider-mode.png for an example. On the other hand, the
> window divider is (when using window-divider-mode). See
> window-divider-mode.png for an example.
>
> I think it would make sense to show the vertical border in the tab
> line, since it is still part of the window. On the other hand, the
> mode line is also part of the window but the vertical border is not
> shown there.

This is the reason why the vertical border is not shown in the tab line -
for consistency with the mode line and the header line.

> While it is possible to customize tab line to do this,
> this is a minor UI detail that could be there from the start. Other
> editors show their corresponding window dividers in their
> corresponding tab line, which leads to a more consistent UI (albeit a
> small detail).

Patches welcome to show the vertical border everywhere:
in the mode line, header line, tab line.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.