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 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.
-------------------------------------------------------
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
-------------------------------------------------------