GNU bug report logs - #12253
Restore window start position

Previous Next

Full log

View this message in rfc822 format

From: martin rudalics <rudalics <at> gmx.at>
To: Juri Linkov <juri <at> jurta.org>, Drew Adams <drew.adams <at> oracle.com>
Cc: "12253 <at> debbugs.gnu.org" <12253 <at> debbugs.gnu.org>
Subject: bug#12253: [External] : Re: bug#12253: Restore window start position
Date: Wed, 12 May 2021 10:47:26 +0200

> 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.

martin

Previous Next

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