[Gretl-devel] Really like the new editor preferences
Artur T.
Wednesday, 20 January
2016
Wed, 20 Jan
'16
7:36 a.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
