[gnome-shell-extensions/window-list: 13/13] Temporarily add some compatibility code for 3.7.4

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

commit bcc34bf95a681c78753365b48b57c4356fafc89f
Author: Florian MÃllner <fmuellner gnome org>
Date:   Wed Jan 23 21:33:49 2013 +0100

    Temporarily add some compatibility code for 3.7.4

 extensions/window-list/extension.js |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index cda1974..4d519cb 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -19,6 +19,15 @@ const GroupingMode = {
 };
 
 
+// compat with 3.7.4
+if (!Meta.Window.prototype.located_on_workspace)
+    Meta.Window.prototype.located_on_workspace = function(ws) {
+        return this.is_on_all_workspaces() || this.get_workspace() == ws;
+    };
+
+if (!Meta.Window.prototype.set_icon_geometry)
+    Meta.Window.prototype.set_icon_geometry = function() {}
+
 function _minimizeOrActivateWindow(window) {
         let focusWindow = global.display.focus_window;
         if (focusWindow == window ||