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.
thanks,
sven