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.
Allin