[gnome-shell-extensions] window-list: update for gnome-shell changes

[Giovanni Campagna <gcampagna src gnome org>]

commit 68adf77012e5d2c608c24f28f201bfc0877e6283
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Feb 5 00:41:45 2014 +0100

    window-list: update for gnome-shell changes
    
    Shell.WindowTracker.is_window_interesting() was removed, and
    replaced with the skip_taskbar MetaWindow property.

 extensions/window-list/extension.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 075dca9..82ebd22 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -876,7 +876,7 @@ const WindowList = new Lang.Class({
     },
 
     _onWindowAdded: function(ws, win) {
-        if (!Shell.WindowTracker.get_default().is_window_interesting(win))
+        if (win.skip_taskbar)
             return;
 
         if (this._grouped)