[gnome-shell-extensions] window-list: Filter skip-taskbar windows

[Florian Müllner <fmuellner src gnome org>]

commit c9a4d15f051acd48befc30c4f720b79afde01c85
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Feb 7 22:53:17 2014 +0100

    window-list: Filter skip-taskbar windows
    
    Applications now track all their windows, not just the ones that are
    expected to show up in the window list. So to restore the previous
    behavior, we now have to filter out windows with the skip-taskbar
    hint ourselves.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724134

 extensions/window-list/extension.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index a0c9dd4..b107047 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -315,7 +315,7 @@ const AppContextMenu = new Lang.Class({
     _getWindowList: function() {
         let workspace = global.screen.get_active_workspace();
         return this._app.get_windows().filter(function(win) {
-            return win.located_on_workspace(workspace);
+            return !win.skip_taskbar && win.located_on_workspace(workspace);
         });
     },
 
@@ -436,7 +436,7 @@ const AppButton = new Lang.Class({
     _getWindowList: function() {
         let workspace = global.screen.get_active_workspace();
         return this.app.get_windows().filter(function(win) {
-            return win.located_on_workspace(workspace);
+            return !win.skip_taskbar && win.located_on_workspace(workspace);
         });
     },