Hi fellow users, since Ubuntu 18.04 was released I have started using gretl more often on Linux again. However, I'm facing the annoying problem that quite often the menus in the main gretl window become unresponsive in the middle of a session. (What I mean is they don't open anymore if you click on them.) This is likely _not_ a gretl bug but probably induced by the specifics of the ubuntu deskop. However, Ubuntu is one of the most popular Linux distros, and 18.04 is a long-term support (LTS) release. So I'm wondering if this is a widespread problem. (So far I know Artur is using Ubuntu, but not the default desktop configuration, and he doesn't have those problems. I, on the other hand, have installed Ubuntu with the standard and default options I believe.) Please, quickly share your experience if you have used gretl on Ubuntu 18.04! thanks, sven