Am 14.09.2018 um 04:29 schrieb Allin Cottrell:
On Thu, 13 Sep 2018, Allin Cottrell wrote:
> On Thu, 13 Sep 2018, Sven Schreiber wrote:
>> 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.
Just a second gretl window, or a second gretl instance?
A second window, for example the script editor.
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.