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

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.