Re: [Gretl-users] Anybody else with menu problems on Ubuntu 18.04?
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.)
cheers,
sven