[gnome-shell] workspacesView: Don't double-destroy workspaces

[Jasper St. Pierre <jstpierre src gnome org>]

commit f8234b07f8f03d2db48841fa64ab3a10040491b7
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue Sep 10 20:40:24 2013 -0400

    workspacesView: Don't double-destroy workspaces
    
    The WorkspaceView actors contain the Workspace actors, so destroying the
    WorkspaceView actors should be enough.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=707889

 js/ui/workspacesView.js |   10 ----------
 1 files changed, 0 insertions(+), 10 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 50f079c..f4de48b 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -540,12 +540,6 @@ const WorkspacesDisplay = new Lang.Class({
         for (let i = 0; i < this._workspacesViews.length; i++)
             this._workspacesViews[i].destroy();
         this._workspacesViews = [];
-
-        for (let i = 0; i < this._workspaces.length; i++)
-            for (let w = 0; w < this._workspaces[i].length; w++) {
-                this._workspaces[i][w].disconnectAll();
-                this._workspaces[i][w].destroy();
-            }
     },
 
     _workspacesOnlyOnPrimaryChanged: function() {
@@ -561,10 +555,6 @@ const WorkspacesDisplay = new Lang.Class({
         for (let i = 0; i < this._workspacesViews.length; i++)
             this._workspacesViews[i].destroy();
 
-        for (let i = 0; i < this._workspaces.length; i++)
-            for (let w = 0; w < this._workspaces[i].length; w++)
-                this._workspaces[i][w].destroy();
-
         this._workspacesViews = [];
         this._workspaces = [];
         let monitors = Main.layoutManager.monitors;