[Gretl-devel] Really like the new editor preferences
Artur T.
Tuesday, 19 January
2016
Tue, 19 Jan
'16
3:36 p.m.
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!
Best,
Artur
