[Gretl-devel] Re: script editor: stay in current line after auto-indent?

Am 18.02.2021 17:32 schrieb Allin Cottrell: > On Wed, 17 Feb 2021, Sven Schreiber wrote: > >> Hi, >> clicking the auto-indent button in the script editor moves me to the top >> of the file. This is annoying if the file is not very short. Can GTK be >> told not to move? > > Heh, it's not exactly a matter of "telling GTK not to move": it's a > matter of carefully recording the cursor location and degree of > scrolling and then re-establishing these values after the text buffer > has been replaced. But anyway, I've now made an attempt at that in > git. Oh, there were quite some changes to do to realize this: https://sourceforge.net/p/gretl/git/ci/1273cdd1f84d57deec040c7427fd6e0ade... Here on Ubuntu 18.10 it still moves to the top.