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