GNU bug report logs - #33532
26.1; set-window-configuration does not restore display start

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Markus Triska <triska <at> metalevel.at>
Cc: 33532 <at> debbugs.gnu.org
Subject: bug#33532: 26.1; set-window-configuration does not restore display start
Date: Wed, 28 Nov 2018 20:29:59 +0200

> From: Markus Triska <triska <at> metalevel.at>
> Cc: 33532 <at> debbugs.gnu.org
> Date: Wed, 28 Nov 2018 18:58:30 +0100
> 
> In my opinion, one way to do it is to have current-window-configuration
> store the window-start internally as an integer (instead of a marker),
> denoting the position of the display start.
> 
> Then, set-window-configuration could set the window-start to that
> position.

How is this useful if the text has changed?  You are just starting
display from some random position, don't you?

> Would that work?

Not in general, no.

> At least that is how I currently work around the issue.

I don't think this could be a general solution.  But I'll let others
chime in and comment on this.

Previous Next

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