Re: [Gretl-devel] Really like the new editor preferences
On Tue, 19 Jan 2016, Artur T. wrote:
Dear Allin and Jack,
today I found the new editor preference options such as "Enable
auto-brackets" and "Enable auto-completion", and I really like these
features!
Glad you like it!
For anyone who hasn't seen this yet, in git and snapshots there's now
an "Editor" tab in the Preferences dialog, which collects together all
the previously existing editor options plus a few new ones and some
help text (Help button). You can also get to that tab via the
"Preferences..." item on right-click in the script editor window.
Allin