[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs
From: |
martin rudalics |
Subject: |
bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs |
Date: |
Fri, 22 Nov 2019 09:16:33 +0100 |
> The tab-line is used just for buffer selection, so either it can use
> the order of buffer-list, or the order of window-prev-buffers, or
> alphabetical order. I see no other way to sort buffers.
'window-prev-buffers' lists a buffer iff it has been displayed before
in the argument window. 'buffer-list' does something similar for its
argument frame but in principle does not care about whether a buffer
has been displayed already. So you have to decide what the tab-line
should do. Just an example: Should 'bury-buffer' affect a tab-line
and if so how?
> You mentioned 'creation time' above. Does a buffer have a buffer-local
> variable for its creation time? Then we could sort by buffer's
> creation time. But currently I see only the variable buffer-display-time,
> not buffer-creation-time.
Indeed. If you do care about yet undisplayed buffers, then such a
function might be needed.
martin
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, (continued)
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Juri Linkov, 2019/11/17
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Eli Zaretskii, 2019/11/18
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Juri Linkov, 2019/11/18
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Eli Zaretskii, 2019/11/19
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Juri Linkov, 2019/11/19
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Eli Zaretskii, 2019/11/19
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Juri Linkov, 2019/11/20
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, martin rudalics, 2019/11/21
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Eli Zaretskii, 2019/11/21
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs, Juri Linkov, 2019/11/21
- bug#37667: 27.0.50; Tab Bar display problems with more than 5 tabs,
martin rudalics <=