Am 22.08.20 um 20:01 schrieb Sven Schreiber:
Am 22.08.2020 um 19:49 schrieb Artur Tarassow:
> The formating tool for the programming language "golang" named
> has this useful feature of automatically intending source code when
> saving the file (for instance via the key stroke Ctrl+S). Currently one
> always need to click the button (some may even not be aware of this
> feature( for it and hence to 'leave' the keyboard.
> I am wondering whether this may be useful for gretl's editor too. In
> case somebody does not want this -- even though I don't know why as
> indentation improves readability -- one could have an option in the
> preferences menu like "Auto-indent when saving file".
So basically you mean a settable option that the auto-indent button's
action is executed every time a save is done?