GNU bug report logs - #12253
Restore window start position

Previous Next

Full log

View this message in rfc822 format

From: Stefan Kangas <stefankangas <at> gmail.com>
To: martin rudalics <rudalics <at> gmx.at>
Cc: Juri Linkov <juri <at> jurta.org>, "12253 <at> debbugs.gnu.org" <12253 <at> debbugs.gnu.org>, Drew Adams <drew.adams <at> oracle.com>
Subject: bug#12253: Restore window start position
Date: Wed, 10 Jan 2024 03:31:57 -0800

martin rudalics <rudalics <at> gmx.at> writes:

>> This is not helpful.  It was many years ago, and I don't remember the details.
>> In bug#12253 there is a patch that restores the window position
>> when navigating back in Info history.  I could try to rebase it
>> if there is still an interest in such improvement.
>
> I think you should try to do that.  Any sort of navigation should
> restore window start and window point positions whenever possible.

Did you make any progress with this?

Previous Next

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