workspace: Clean up a leftover later_add on destroy

https://bugzilla.gnome.org/show_bug.cgi?id=707889
2013-09-10 20:42:11 -04:00 · 2013-09-10 20:42:11 -04:00 · 25318f696d
commit 25318f696d
parent 1ab3d12bc7
1 changed files with 4 additions and 0 deletions
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@ -1434,6 +1434,10 @@ const Workspace = new Lang.Class({

        if (this._positionWindowsId > 0)
            Meta.later_remove(this._positionWindowsId);
+
+        if (this._actualGeometryLater > 0)
+            Meta.later_remove(this._actualGeometryLater);
+
        this._windows = [];
    },