GNU bug report logs - #78953
31.0.50; tab-bar-format-align-right alignment breaks if field widths change

Previous Next

Full log

View this message in rfc822 format

From: Daniel Mendler <mail <at> daniel-mendler.de>
To: Juri Linkov <juri <at> linkov.net>
Cc: 78953 <at> debbugs.gnu.org
Subject: bug#78953: 31.0.50; tab-bar-format-align-right alignment breaks if field widths change
Date: Sun, 13 Jul 2025 20:15:07 +0200

Juri Linkov <juri <at> linkov.net> writes:

>>> Indeed, the patch seems simple enough. I am unsure about reusing the
>>> option. If I understand correctly `auto-resize-tab-bars' is about
>>> resizing the height according to the face? I think we want to control
>>> both things separately, truncation and resizing of the height. Therefore
>>> I would rather add another option `truncate-tab-bars'. What do you
>>> think?
>>
>> The name `auto-resize-tab-bars' was created for compatibility
>> with the `auto-resize-tool-bars'.  But for new variables better
>> to use the prefix `tab-bar-'.  Then the name would be `tab-bar-truncate'.
>
> Ok, I will push the patch with the new name:

Thanks, this looks good.

Daniel

Previous Next

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