So I realise that it might be helpful if I clarify myself, the desktop shortcut file for Eclipse would contain something like this:
The row Exec=env UBUNTU_MENUPROXY=0 /home/USERNAME/Dokument/eclipse/eclipse
, part referenced in the post I pointed to, is the one that makes menus visible, et voila! :)
In my case this file (eclipse.desktop
) resides in /usr/share/applications/
Hope this helps.