From 53e9074058b3ea031f8db71659f140ea28dea27b Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Thu, 16 Jan 2014 19:57:47 +0100
Subject: [PATCH] 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 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index bccdb39a..075dca96 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);
         }