GNU bug report logs - #79125
quit-window fails to restore window height in a scenario of buffer reuse

Previous Next

Full log

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

From: martin rudalics <rudalics <at> gmx.at>
To: Dmitry Gutov <dmitry <at> gutov.dev>, 79125 <at> debbugs.gnu.org
Cc: juri <at> linkov.net
Subject: Re: bug#79125: quit-window fails to restore window height in a
 scenario of buffer reuse
Date: Wed, 30 Jul 2025 10:18:21 +0200

> Does anybody agree that steps 7 and/or 9 behave suboptimally? Can that be improved?

It can be improved but that would be expensive.  'window-prev-buffers'
would have to return the height (and possibly the weight) of the window
in addition to the start and point positions - that is, we'd have to
store five instead of three values per buffer.

martin

Previous Next

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