Am 14.09.2018 um 08:19 schrieb Sven Schreiber:
Am 14.09.2018 um 04:29 schrieb Allin Cottrell:
> I gather there's something called appmenu-gtk3-module in the Debian
> world, that can apparently be installed on Ubuntu 18.04. I don't know
> if it's there by default. Is it installed on your system? (So far as
> I can tell it may be an instance of dodgy intervention in the
> operation of third-party programs, though I don't know that for sure.)
No it's not installed yet. From its description "The AppMenu GTK+
module watches for these types of menus [=old-style] and exports the
appropriate GMenuModel implementation."
I'll try if installing this changes something and will report back.
Aha, this actually might be the solution! Gretl menus still react, both
on the default Ubuntu desktop and in a more generic GDM/"Gnome under
Xorg" session. I will stick to this setup and see what happens. If this
is a stable remedy then it could be communicated more prominently.
(And BTW, all this was with a compiled-from-git version from last month.
Perhaps eventually we should check whether the standard version shipped
with Ubuntu has the same problems.)
thanks for your patience,