[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: |
Wed, 09 Nov 2022 03:07:38 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Heerdegen <michael_heerdegen@web.de> writes:
> Very cool, thanks. I'll try it out a bit and report back.
Ok - works perfectly so far! I think I'm happy with this change.
I have a related question, though: When browsing Info, how would you
configure things so that the tabs in the tab line are ordered similar to
what you get in an Internet browser: new tabs are opened at the
rightmost position (or next to the current tab), and the tabs are
otherwise not sorted automatically in any way. Can this currently be
achieved? It seems that there is always some unavoidable hard-coded
sorting happening.
Thanks,
Michael.
- 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/09
- bug#57848: 29.0.50; Problems with private tab-line-tab-name-function, Michael Heerdegen, 2022/11/11
- 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