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: Juri Linkov <juri <at> linkov.net>
To: Daniel Mendler <mail <at> daniel-mendler.de>
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 09:52:10 +0300

> 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'.

Previous Next

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