On Thu, 30 Jul 2009, Henrique wrote:
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?
Yes, that would be preferable for the sake of consistency.