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

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

commit 27f5bdab83b9b46040610531540c5f1d80c2ac6a
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 22b69a0..751a633 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;
@@ -215,6 +216,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 });
     },