-
Stéphane Démurget authored
This is a simple fallout from sealing gtkmenushell, which only appears when F10 or Shift-F10 is used in a submenu. https://bugzilla.gnome.org/show_bug.cgi?id=690266
531d0dc3
This is a simple fallout from sealing gtkmenushell, which only appears when F10 or Shift-F10 is used in a submenu. https://bugzilla.gnome.org/show_bug.cgi?id=690266