On Tue, 10 Sep 2013, Ignacio Diaz-Emparanza wrote:
On 10/09/13 14:52, Allin Cottrell wrote:
> Thanks for doing the detective work, Ignacio.
>
> So I believe we can put this down as a Unity bug -- perhaps in the
> indicator-appmenu package. This is unfortunate, given the popularity of
> Ubuntu, but I don't think there's anything we can do about it.
>
> I wonder if it's still there in 13.04?
Yes, it is there.
Oh, dear.
> And I wonder if running
>
> UBUNTU_MENUPROXY= gretl
>
> would help? (Note that there has to be space after the "=", the intent is
> to remove UBUNTU_MENUPROXY from the environment before running gretl.)
Yes, using
UBUNTU_MENUPROXY= gretl
the file menu in Ubuntu 13.04 has the correct sub-elements and the icons of
the help menu are also correct in 13.04 and 12.04.
The default in Unity is to place the menu at the top of the screen, but now
the gretl main menu is at the top of the window.
Hmm, maybe we should amend the gretl.desktop file to include the
nulling out of UBUNTU_MENUPROXY until further notice.
Allin