diff --git a/js/ui/overview.js b/js/ui/overview.js index 7d00251d1..4fdcd02a2 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -95,9 +95,7 @@ const Overview = new Lang.Class({ _init: function() { this._overviewCreated = false; this._initCalled = false; - this._controlPressed = false; - global.stage.connect('captured-event', Lang.bind(this, this._capturedEvent)); Main.sessionMode.connect('updated', Lang.bind(this, this._sessionUpdated)); this._sessionUpdated(); }, @@ -241,20 +239,6 @@ const Overview = new Lang.Class({ } }, - _capturedEvent: function(actor, event) { - let type = event.type(); - if (type != Clutter.EventType.KEY_PRESS && - type != Clutter.EventType.KEY_RELEASE) - return false; - - let symbol = event.get_key_symbol(); - if (symbol == Clutter.KEY_Control_L || - symbol == Clutter.KEY_Control_R) - this._controlPressed = type == Clutter.EventType.KEY_PRESS; - - return false; - }, - _sessionUpdated: function() { this.isDummy = !Main.sessionMode.hasOverview; this._createOverview(); @@ -587,7 +571,8 @@ const Overview = new Lang.Class({ if (!this._shown) return; - if (this._controlPressed) + let event = Clutter.get_current_event(); + if (event && (event.get_state() & Clutter.ModifierType.CONTROL_MASK) != 0) return; this._animateNotVisible();