[gnome-shell] workspace: Reset source IDs to zero after removing them

[Mario Sanchez Prada <msanchez src gnome org>]

commit 5221744d1dca6943385377a06fae7dd01639527b
Author: Mario Sanchez Prada <mario endlessm com>
Date:   Tue Jun 27 10:09:16 2017 +0100

    workspace: Reset source IDs to zero after removing them
    
    There were some source IDs that were not being reset to zero when
    removing the associated sources, resulting on some critical errors
    being dumped when _realRecalculateWindowPositions() got called
    after that point, via _delayedWindowRepositioning().

 js/ui/workspace.js |   12 +++++++++---
 1 files changed, 9 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 11a65d6..bcde53d 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1793,14 +1793,20 @@ const Workspace = new Lang.Class({
         global.screen.disconnect(this._windowEnteredMonitorId);
         global.screen.disconnect(this._windowLeftMonitorId);
 
-        if (this._repositionWindowsId > 0)
+        if (this._repositionWindowsId > 0) {
             Mainloop.source_remove(this._repositionWindowsId);
+            this._repositionWindowsId = 0;
+        }
 
-        if (this._positionWindowsId > 0)
+        if (this._positionWindowsId > 0) {
             Meta.later_remove(this._positionWindowsId);
+            this._positionWindowsId = 0;
+        }
 
-        if (this._actualGeometryLater > 0)
+        if (this._actualGeometryLater > 0) {
             Meta.later_remove(this._actualGeometryLater);
+            this._actualGeometryLater = 0;
+        }
 
         this._windows = [];
     },