Re: [Gretl-users] Anybody else with menu problems on Ubuntu 18.04?
Am 14.09.2018 um 08:47 schrieb Riccardo (Jack) Lucchetti:
On Fri, 14 Sep 2018, Sven Schreiber wrote:
> Am 14.09.2018 um 08:24 schrieb Riccardo (Jack) Lucchetti:
>>
>> 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,
No problems either with cinnamon or mate, let alone xfce. Can't say
about the rest.
OK, maybe that was a stupid question, since Mint doesn't seem to have a
gnome-shell variant (?).
-s