[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57848: 29.0.50; Problems with private tab-line-tab-name-function
From: |
Michael Heerdegen |
Subject: |
bug#57848: 29.0.50; Problems with private tab-line-tab-name-function |
Date: |
Sat, 12 Nov 2022 02:52:15 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Juri Linkov <juri@linkov.net> writes:
> [...] However, switching to a buffer moves it to the end
> of the tab-line corresponding to window-prev-buffers.
> If you want, you could create a new tab-line-tabs-function
> based on tab-line-tabs-window-buffers, that will sort
> window-buffers using their creation order preserved in
> some new window-local variable.
That would be rather fragile, though. Image I want to see different
Info tabs in different frames. Wouldn't it make more sense to save the
creation time in the tabs themselves then, somehow?
Dunno how others think about that...for my usage behavior that would
make sense AFAIU. WDYT?
Thanks,
Michael.
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Michael Heerdegen, 2022/11/08
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Juri Linkov, 2022/11/09
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function,
Michael Heerdegen <=
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Juri Linkov, 2022/11/12
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Juri Linkov, 2022/11/13
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Michael Heerdegen, 2022/11/14
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Juri Linkov, 2022/11/14
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Michael Heerdegen, 2022/11/14
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Michael Heerdegen, 2022/11/18