On Thu, 13 Sep 2018, Allin Cottrell wrote:
On Thu, 13 Sep 2018, Sven Schreiber wrote:
> 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
> 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.
Just a second gretl window, or a second gretl instance?
There's no problem on Mac OS X, and no problem on Arch or Fedora
I prefer to use the Xfce desktop with both Arch and Fedora, but I
added a new user on Fedora 28 (very gnome-y distro by default) and
started a Gnome 3 session. Again, no problem with gretl menus.
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