[gnome-shell-extensions] dock: update for gnome-shell API changes
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] dock: update for gnome-shell API changes
- Date: Thu, 1 Mar 2012 20:13:17 +0000 (UTC)
commit 1463a6481ea98ad3d51ff5b4ba2a9788d776cb9e
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Thu Mar 1 21:04:25 2012 +0100
dock: update for gnome-shell API changes
Shell.get_event_state() was removed, use direct .get_state()
instead.
extensions/dock/extension.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js
index 63bfa8f..3b8036f 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) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]