Am 29.06.2018 um 18:15 schrieb Sven Schreiber:
quite often the menus in the main gretl window become unresponsive
This is likely _not_ a gretl bug but probably induced by the specifics
of the ubuntu deskop.
(So far I know Artur is using Ubuntu, but not the default desktop
configuration, and he doesn't have those problems.
OK, this is not a definitive proof, but I have now also switched to
another desktop variant (Cinnamon in my case, also because of suspend
issues). So far I haven't seen the menu problem with gretl anymore. If
this turns out to be a sustainable and lasting solution, maybe this
would be the recommendation for Ubuntu 18.04 users.
(Unless there are others out there without any problems, who just
haven't reported back yet.)