On 12 October 2013 17:30, pacotomi <pacotomi@orange.fr> wrote:

Yes, I agree. I navigate menus with my mouse.

I give a try to gretl 1.9.12cvs build date 2013-10-4.
But :
menu Tools --> Preferences --> Fixed (or Menu) fonts
gives me a window : "scanning for (a number) fonts"
and immediatly Gretl crashes

Sincerely,
Frédéric Dupont

Selecting either option works fine and -gretl- doesn't crash on my Kubuntu Linux 13.04 system, so it must be your system or machine.

--
Clive Nicholas

"My colleagues in the social sciences talk a great deal about methodology. I prefer to call it style." -- Freeman J. Dyson