From 3db253998b18b13cf84f637d148f642c5d379a3f Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Tue, 19 Feb 2013 20:27:11 -0500 Subject: [PATCH] panel: Don't try to begin a grab op while something else has taken a grab https://bugzilla.gnome.org/show_bug.cgi?id=694241 --- js/ui/panel.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/js/ui/panel.js b/js/ui/panel.js index 7153abdff..f24f3a402 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -1065,6 +1065,9 @@ const Panel = new Lang.Class({ }, _onButtonPress: function(actor, event) { + if (Main.modalCount > 0) + return false; + if (event.get_source() != actor) return false;