GNU bug report logs - #52019
28.0.60; tab-bar is not updated when buffer is killed

Previous Next

Full log

Message #11 received at 52019 <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: Lars Ljung <lars <at> matholka.se>
Cc: 52019 <at> debbugs.gnu.org
Subject: Re: bug#52019: 28.0.60; tab-bar is not updated when buffer is killed
Date: Mon, 22 Nov 2021 20:30:30 +0200

tags 52019 wontfix
close 52019 29.0.50
quit

>> The name of that tab will be updated when you switch to it.
>
> Ideally, the tab should show some placeholder for the killed buffer
> after the user switches to it, so the tab name should keep its
> original name.  This would less confusing than showing some random
> buffer instead of the killed buffer.  But this is a separate feature
> that could be discussed in a separate request.

The same problem exists with all other uses of window-configuration.
One example: the desktop saves all windows with their buffers.
If a file was deleted before restoring the desktop,
or a buffer saved to the desktop was non-persistent,
then the desktop just deletes the window where the old buffer
was displayed, or replaces the old buffer in the window
with some other random buffer.  This loses the window layout
carefully created by the user.

So instead of replacing the name of the killed buffer
in the tab name with some other random buffer name,
a more proper solution is to keep some placeholder
in the window where the buffer was displayed.
This is a bigger task, so a new request could be created
to implement it.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.