Ubuntu
gnome-shell package

  1. Bug #1725708
  2. Comment #11

Comment 11 for bug 1725708

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Now that you mention it, I'm not sure. It's not uncommon for some toolkits to be designed to activate a popup-menu item on button release. I didn't consider that part a bug.