From 1463a6481ea98ad3d51ff5b4ba2a9788d776cb9e Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Thu, 1 Mar 2012 21:04:25 +0100
Subject: [PATCH] dock: update for gnome-shell API changes

Shell.get_event_state() was removed, use direct .get_state()
instead.
---
 extensions/dock/extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js
index 63bfa8f4..3b8036f3 100644
--- a/extensions/dock/extension.js
+++ b/extensions/dock/extension.js
@@ -729,7 +729,7 @@ const DockIcon = new Lang.Class({
 
     _onActivate: function (event) {
         this.emit('launching');
-        let modifiers = Shell.get_event_state(event);
+        let modifiers = event.get_state();
 
         if (modifiers & Clutter.ModifierType.CONTROL_MASK
             && this.app.state == Shell.AppState.RUNNING) {