Re: [Gretl-users] Anybody else with menu problems on Ubuntu 18.04?
On Fri, 14 Sep 2018, Sven Schreiber wrote:
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,
No problems either with cinnamon or mate, let alone xfce. Can't say about
the rest.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------