From 3422e1dca76021a2ee98197ba511f6afa6174b38 Mon Sep 17 00:00:00 2001 From: Stefano Facchini Date: Fri, 23 Mar 2012 19:32:17 +0100 Subject: [PATCH] popupMenu: make sure to break the grab when the slider is not visible Otherwise the grab will persist for example after closing the PopupMenu with Escape. https://bugzilla.gnome.org/show_bug.cgi?id=672713 --- js/ui/popupMenu.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js index ace32e013..09a9b737d 100644 --- a/js/ui/popupMenu.js +++ b/js/ui/popupMenu.js @@ -546,6 +546,10 @@ const PopupSliderMenuItem = new Lang.Class({ this._slider.connect('repaint', Lang.bind(this, this._sliderRepaint)); this.actor.connect('button-press-event', Lang.bind(this, this._startDragging)); this.actor.connect('scroll-event', Lang.bind(this, this._onScrollEvent)); + this.actor.connect('notify::mapped', Lang.bind(this, function() { + if (!this.actor.mapped) + this._endDragging(); + })); this._releaseId = this._motionId = 0; this._dragging = false;