GNU bug report logs - #12401
scroll-preserve-screen-position broken with font height faces

Previous Next

Full log

View this message in rfc822 format

From: Stefan Monnier <monnier <at> IRO.UMontreal.CA>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 12401 <at> debbugs.gnu.org, l26wang <at> gmail.com
Subject: bug#12401: scroll-preserve-screen-position broken with font height	faces
Date: Mon, 10 Sep 2012 16:42:21 -0400

>> > scroll-preserve-screen-position?  Is it just that doing N C-v's
>> > followed by N M-v's brings point to the same location where it was
>> > before this sequence of 2N commands?
>> I think this should be the main point, yes.
> For this to work, we would need to make sure that C-v followed by M-v
> end up with a window that has the same window-start as the one before
> C-v.  But this is impossible to ensure with the way we compute
> window-start, because the move_it family of functions used for that
> can only move forward; therefore moving back is necessarily
> implemented differently, and the results differ when variable-size
> fonts are present.

Indeed.

> IOW, this is a limitation of the current design of the
> window-scrolling functions that can only be lifted by redesigning.

Yup,


        Stefan

Previous Next

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