GNU bug report logs -
#78953
31.0.50; tab-bar-format-align-right alignment breaks if field widths change
Previous Next
Full log
Message #19 received at 78953 <at> debbugs.gnu.org (full text, mbox):
Juri Linkov <juri <at> linkov.net> writes:
> close 78953 31.0.50
> thanks
>
>>>> A more realistic configuration with a timer (and a variable pitch face)
>>>> also shows the problem. A possible solution could be to handle
>>>> `tab-bar-format-align-right' in `tab-bar-format-list', such that the
>>>> functions in the `tab-bar-format' list after
>>>> `tab-bar-format-align-right' are not called twice, such that the
>>>> computed field width matches the displayed field.
>
> Now `tab-bar-format-list' and `tab-bar-format-align-right' are fixed
> to not call `tab-bar-format-global' twice.
>
>> Also another problem I've observed is that `string-pixel-width' is slow,
>> which is a problem with frequent updates/redisplays, for example when
>> scrolling a lot with `pixel-scroll-precision-mode'.
>>
>> I suggest to update `:align-to' in `tab-bar-format-list' and also cache
>> the computed width and the formatted tab bar string. Then the cached
>> string can be compared with `equal-including-properties` and only if the
>> string changes, the pixel width needs to be recomputed.
>
> Now the formatted tab bar string is cached as well.
Thanks. I think the code should be simplified - in fact it is
problematic like this since it will leak memory, if the string changes,
for example for a timer which counts up, where the same string will only
needed for a short while. A hash table is not needed to memoize a single
pair. It suffices to only store the current string to optimize
redisplay. You could store the string in the car of a cons, and the
width in the cdr.
Daniel
This bug report was last modified 13 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.