[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]