Re: [Gretl-users] Anybody else with menu problems on Ubuntu 18.04?
Am 14.09.2018 um 08:24 schrieb Riccardo (Jack) Lucchetti:
On Fri, 14 Sep 2018, Sven Schreiber wrote:
> 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 use mint on my laptops. No problem there.
Yeah, but do you use a Gnome Shell-y desktop? I don't have problems with
Ubuntu + Cinnamon, and Artur uses ubuntu + budgie AFAIK.
thanks,
sven