[gnome-shell-extensions/wip/window-list: 5/13] Filter out non-"interesting" windows

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

commit 177456f654ed56515ac1d26d8b632253b25205a2
Author: Florian MÃllner <fmuellner gnome org>
Date:   Fri Jan 18 17:29:09 2013 +0100

    Filter out non-"interesting" windows

 extensions/window-list/extension.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 762a2b1..023775e 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -1,5 +1,6 @@
 const Clutter = imports.gi.Clutter;
 const Meta = imports.gi.Meta;
+const Shell = imports.gi.Shell;
 const St = imports.gi.St;
 
 const Lang = imports.lang;
@@ -207,6 +208,9 @@ const WindowList = new Lang.Class({
     },
 
     _onWindowAdded: function(ws, win) {
+        if (!Shell.WindowTracker.get_default().is_window_interesting(win))
+            return;
+
         let button = new WindowButton(win);
         this._windowList.add(button.actor, { y_fill: true });
     },