[Gretl-devel] Auto-indentation when saving file

Hi, The formating tool for the programming language "golang" named "gofmt" 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". Best, Artur