diff --git a/js/ui/overview.js b/js/ui/overview.js index 4fdcd02a2..33cc478ab 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -572,8 +572,14 @@ const Overview = new Lang.Class({ return; let event = Clutter.get_current_event(); - if (event && (event.get_state() & Clutter.ModifierType.CONTROL_MASK) != 0) - return; + if (event) { + let type = event.type(); + let button = (type == Clutter.EventType.BUTTON_PRESS || + type == Clutter.EventType.BUTTON_RELEASE); + let ctrl = (event.get_state() & Clutter.ModifierType.CONTROL_MASK) != 0; + if (button && ctrl) + return; + } this._animateNotVisible();