Re: [Gretl-users] Anybody else with menu problems on Ubuntu 18.04?
Am 14.09.2018 um 01:21 schrieb Allin Cottrell:
There's no problem on Mac OS X, and no problem on Arch or Fedora Linux
(can't speak for other Linux distros, though I do know that Jack
doesn't have such a problem on Debian.)
I could perhaps also try on a new Mint version (with some Gnome shell)
eventually.
I could try masking that code in git. If I do so, could you try
building gretl from from git on Ubuntu and see if the change helps?
Sure, that would be possible. The only risk would be that temporarily
gretl could in principle get problems on Ubuntu with a non-default
desktop I guess (hello Artur). But I could test fairly quickly.
thanks,
sven