Dear developers,
Today I realize that gretl preferences menu (Tools -> Preferences -> General -> Programs) shows small letters only for the last three options ("path to..."). I think it could be better to use capital letters for all options (to keep homogeneity), what do you think?
Best regards,
Henrique C. de Andrade
Doutorando em Economia Aplicada
Universidade Federal do Rio Grande do Sul
www.ufrgs.br/ppge