GNU bug report logs - #29279
Sharing the margins

Previous Next

Full log

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

From: martin rudalics <rudalics <at> gmx.at>
To: Dmitry Gutov <dgutov <at> yandex.ru>, Eli Zaretskii <eliz <at> gnu.org>
Cc: 29279 <at> debbugs.gnu.org, joostkremers <at> fastmail.fm
Subject: Re: bug#29279: Sharing the margins
Date: Wed, 15 Nov 2017 19:51:50 +0100

> If the latter doesn't have to run window-configuration-change-hook,
> maybe the margin changes don't have to either, and "other hooks" will
> suffice as well?

I intend to drop most calls of 'window-configuration-change-hook' and
replace them by 'window-size-change-functions' if all they do is to
change the sizes of windows only.  Maybe we should then change the
semantics of the latter: Call it when just the window body size changes
too.  Provide a 'window-body-pixel-width-before-size-change' function
which could be used in connection with 'window-body-height'.

martin

Previous Next

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