On Tue, 4 Oct 2016, Artur T. wrote:
Ah ok, I think I understand. Just for your knowledge: I actually
deactivated the Mac-style like framework as I prefer the "classical" one.
Thanks for the info, Artur. It seems that in current Ubuntu they've
extended the "steal the menus and re-wrap them" idea from their
Mac-style interface to the "classical" one. I'm wondering if there's
any way to protect gretl against that treatment. If you're compiling
gretl yourself, I suspect you _might_ be able to protect it by
building against gtk2 instead of gtk3: that would mean adding the
configure flag
--enable-gtk2
But I'm not sure if that would do the job. (It would require that
you have the gtk2 "dev" packages installed.) There's nothing in the
gretl GUI that requires gtk3 over gtk2, and personally I prefer the
latter.
Allin