|
From: | martin rudalics |
Subject: | Re: Proposal to improve the nomenclature of scrolling directions |
Date: | Fri, 09 Nov 2012 10:50:53 +0100 |
> AFAIK scroll-preserve-screen-position already provides most of > that behavior. Just that it doesn't work with different-height faces http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12401 martin
[Prev in Thread] | Current Thread | [Next in Thread] |