Frama-C Bug Tracking System - Frama-C
View Issue Details
0001182Frama-CGraphical User Interfacepublic2012-05-25 23:292013-01-25 21:37
monate 
monate 
normalminoralways
closedfixed 
Frama-C Nitrogen-20111001 
Frama-C Oxygen-20120901 
0001182: Project menu is empty when Ubuntu/Unity is enabled
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.
No tags attached.
Issue History
2012-05-25 23:29monateNew Issue
2012-05-25 23:29monateStatusnew => assigned
2012-05-25 23:29monateAssigned To => monate
2012-05-25 23:44monateNote Added: 0003032
2012-05-26 11:26yakobowskiNote Added: 0003033
2012-05-26 21:26monateNote Added: 0003034
2012-05-27 17:00signolesStatusassigned => confirmed
2012-06-10 12:50yakobowskiNote Added: 0003087
2012-06-10 13:12yakobowskiNote Added: 0003088
2012-06-10 22:32monateNote Added: 0003096
2012-06-10 23:07yakobowskiNote Added: 0003098
2012-06-10 23:08yakobowskiNote Edited: 0003098
2012-06-11 09:27signolesNote Added: 0003100
2012-07-15 21:04svnCheckin
2013-01-25 21:37yakobowskiNote Added: 0003673
2013-01-25 21:37yakobowskiStatusconfirmed => closed
2013-01-25 21:37yakobowskiResolutionopen => fixed
2013-01-25 21:37yakobowskiFixed in Version => Frama-C Oxygen-20120901

Notes
(0003032)
monate   
2012-05-25 23:44   
Maybe we could be inspired by: https://code.launchpad.net/~mterry/dbusmenu/eclipse-rcp/+merge/59277
(0003033)
yakobowski   
2012-05-26 11:26   
Do you think this is related to the "reduced" project menu that occurred with some Linux with hardware graphic acceleration? Also, would the bug lie somewhere in our Lablgtk code, or in Lablgtk? Not knowing what dbus-menu is useful for, I cannot make much sense out of the bug above.
(0003034)
monate   
2012-05-26 21:26   
I don't think this is related, but I could be wrong. IIUC Gtk/Gnome and all of the application developers do not agree on the culprit... We probably need to "fix" our code even if one can argue it is not broken.
(0003087)
yakobowski   
2012-06-10 12:50   
I tried hiding then showing the radio menu item from Glib's idle loop. This had no effect. Notice that the fix from https://code.launchpad.net/~mterry/dbusmenu/eclipse-rcp/+merge/59277 is for dbusmenu, not for the client code.
(0003088)
yakobowski   
2012-06-10 13:12   
Another possibility would be to get rid of this dynamic menus altogether. Instead, we can maintain its state synchronously through the create/delete/load kooks in project.ml. Julien, did you try this when this menu was initially created?
(0003096)
monate   
2012-06-10 22:32   
Another track: http://debbugs.gnu.org/cgi-bin/bugreport.cgi?bug=4122
(0003098)
yakobowski   
2012-06-10 23:07   
(edited on: 2012-06-10 23:08)
~3096: one of the patches that fixed the problem for Emacs-23 is http://goo.gl/4UbE7
(0003100)
signoles   
2012-06-11 09:27   
Boris, I did not try your suggested solution. At that time, some hooks was missing. But it should be ok now. Thus an attempt could be made.
(0003673)
yakobowski   
2013-01-25 21:37   
Closing this. The bug is still not fixed on the Ubuntu side as of this day, so the workaround will have to suffice. (Unless someone steps in with a GTK solution, or an implementation of note 3096.)