[Gretl-devel] Language preference menu

Developers, I would like to know what do you think about change the "Language preference menu" (TOOLS -> PREFERENCES -> GENERAL) to a drop-down list. I think this feature could facilitate the use of the gretl's language capabilities (one of the best features of the software) In addition, all the gretl users (and not only the developers) going to know the the powerful language capability. Best, Henrique C. de Andrade Doutorando em Economia Aplicada Universidade Federal do Rio Grande do Sul www.ufrgs.br/ppge