From 68adf77012e5d2c608c24f28f201bfc0877e6283 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Wed, 5 Feb 2014 00:41:45 +0100
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

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