[Gretl-devel] Capital and small letters - Preferences Menu

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