main: Move getWindowActorsForWorkspace to layout

It's only used here. https://bugzilla.gnome.org/show_bug.cgi?id=691746
2013-01-14 12:43:24 -05:00
parent f738c2be9d
commit 5ba0c6404b
2 changed files with 8 additions and 9 deletions
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -472,14 +472,6 @@ function notifyError(msg, details) {
    notify(msg, details);
 }

-function getWindowActorsForWorkspace(workspaceIndex) {
-    let workspace = global.screen.get_workspace_by_index(workspaceIndex);
-    return global.get_window_actors().filter(function (actor) {
-        let win = actor.meta_window;
-        return win.located_on_workspace(workspace);
-    });
-}
-
 function _findModal(actor) {
    for (let i = 0; i < modalActorFocusStack.length; i++) {
        if (modalActorFocusStack[i].actor == actor)