[gnome-shell] [Workspace] Disconnect reposition handler when leaving overview

[Florian Müllner <fmuellner src gnome org>]

commit ee57dab846ed31f0fe969bb6cbeee3bc2f23d561
Author: Florian Müllner <fmuellner src gnome org>
Date:   Sun Mar 14 15:47:42 2010 +0100

    [Workspace] Disconnect reposition handler when leaving overview
    
    As the repositioning after closing a window preview is delayed, it is
    possible that the timeout is triggered while leaving the overview. In
    that case the previews move to the new overview position and are changed
    abruptly to the original window position when the overview zoom is done.
    To prevent this, disconnect the handler when leaving the overview.

 js/ui/workspace.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 20d5fd2..0b55990 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1366,6 +1366,10 @@ Workspace.prototype = {
 
         this._hideAllOverlays();
 
+        if (this._repositionWindowsId > 0) {
+            Mainloop.source_remove(this._repositionWindowsId);
+            this._repositionWindowsId = 0;
+        }
         Main.overview.connect('hidden', Lang.bind(this,
                                                   this._doneLeavingOverview));