Project menu is empty when Ubuntu/Unity is enabled
ID0001182: This issue was created automatically from Mantis Issue 1182. Further discussion may take place here.
|Graphical User Interface
|Fixed in Version
When unity is enabled and the main menubar of Frama-C is shown detached from its main window, the dynamic menu entries are not visible. This can be fixed by setting the environment variable UBUNTU_MENUPROXY to 0. For example : UBUNTU_MENUPROXY=0 frama-c-gui fixes the problem. No solution is known to fix this on the Frama-C side.