[gnome-shell-extensions] window-list: remove our use of Hash module

[Giovanni Campagna <gcampagna src gnome org>]

commit 53e9074058b3ea031f8db71659f140ea28dea27b
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Jan 16 19:57:47 2014 +0100

    window-list: remove our use of Hash module
    
    It was removed in core shell and replaced with ES6 Map.

 extensions/window-list/extension.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index bccdb39..075dca9 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -7,7 +7,6 @@ const Shell = imports.gi.Shell;
 const St = imports.gi.St;
 
 const DND = imports.ui.dnd;
-const Hash = imports.misc.hash;
 const Lang = imports.lang;
 const Main = imports.ui.main;
 const MessageTray = imports.ui.messageTray;
@@ -761,7 +760,7 @@ const WindowList = new Lang.Class({
                     this._updateKeyboardAnchor();
                 }));
 
-        this._workspaceSignals = new Hash.Map();
+        this._workspaceSignals = new Map();
         this._nWorkspacesChangedId =
             global.screen.connect('notify::n-workspaces',
                                   Lang.bind(this, this._onWorkspacesChanged));
@@ -931,7 +930,8 @@ const WindowList = new Lang.Class({
         let numWorkspaces = global.screen.n_workspaces;
         for (let i = 0; i < numWorkspaces; i++) {
             let workspace = global.screen.get_workspace_by_index(i);
-            let signals = this._workspaceSignals.delete(workspace)[1];
+            let signals = this._workspaceSignals.get(workspace);
+            this._workspaceSignals.delete(workspace);
             workspace.disconnect(signals._windowAddedId);
             workspace.disconnect(signals._windowRemovedId);
         }