Am 05.07.2018 um 20:56 schrieb Sven Schreiber:
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.
OK sorry to populate this thread all by myself...
On the Cinnamon desktop (in Ubuntu 18.04) the menu problems definitely
do not appear. Instead on the standard Ubuntu desktop (which AFAIK is
_not_ Unity, but based on Gnome shell) I get the problem basically
immediately, as soon as I use a second gretl window or stuff like that.
Also with a more basic Gnome shell desktop without ubuntu tweaks it happens.
It's a pity because the Gnome shell really has some nice window manager
And let me repeat: This makes gretl currently unusable on the default
install of what has been (or was) the most popular Linux distro. Plus
I'm not aware of any other affected program, so I'm not so sure anymore
it's not a gretl issue. But whatever the cause, isn't that a problem for
a program like gretl which basically considers Linux its home?
I mean right now the best platform for gretl from a
non-expert/non-developer point of view is Windows I guess...