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