[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tabs
From: |
martin rudalics |
Subject: |
Re: Tabs |
Date: |
Thu, 14 Nov 2019 10:20:40 +0100 |
>> BTW, in `tab-line-tabs-buffer-list', is the `buffer-live-p' filter test
>> on the result of `buffer-list':
>>
>> "Return a list of all live buffers.[...]"
>>
>> redundant?
>
> I added `buffer-live-p' after discovering that not all buffers
> are live in the buffer list. But maybe this happened only in the
> buffer list combined with the list of window-prev-buffers.
'buffer-list' should be clean in this regard. 'window-prev-buffers'
(and 'window-next-buffers') are not, for the simple technical reason
that a window is not accessible when it has been deleted but remains
within some saved configuration or state. This means that
'kill-buffer' cannot always update these lists for sure and it mainly
depends on GC frequency whether a killed buffer appears in one of
these lists or not. Both, 'switch-to-prev-buffer' and
'switch-to-next-buffer' prune dead buffers from the respective lists
when they find one.
martin
- Re: Tabs, Juri Linkov, 2019/11/02
- Re: Tabs, Juri Linkov, 2019/11/05
- Re: Tabs, Michael Heerdegen, 2019/11/08
- Re: Tabs, Michael Heerdegen, 2019/11/08
- Re: Tabs, Juri Linkov, 2019/11/12
- Re: Tabs, Michael Heerdegen, 2019/11/13
- Re: Tabs, Juri Linkov, 2019/11/13
- Re: Tabs,
martin rudalics <=