Ubuntu
appmenu-gtk package

  1. Bug #894204
  2. Comment #3

Comment 3 for bug 894204

Revision history for this message
Jeremy Bícha (jbicha) wrote :

I don't believe this is a GNOME Shell issue, but is a problem with the appmenu.