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

On Thu, 18 Feb 2021, atecon wrote: > 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. Artur, are you sure you're actually running current git?