workspace.js

const Mainloop = imports.mainloop;
const Meta = imports.gi.Meta;
const Main = imports.ui.main;
const Extension = imports.misc.extensionUtils.getCurrentExtension();
const Log = Extension.imports.logger.Logger.getLogger("ShellTile");

var Workspace = class Workspace{
    constructor(meta_workspace, ext, strategy){
        this._shellwm = global.window_manager;
        this.log = Log.getLogger("Workspace");
        this.meta_workspace = meta_workspace;
        this.extension = ext;
        this.strategy = strategy
        this._compatibility = this.extension.compatibility;
        if(this.log.is_debug()) this.log.debug(this.toString());
        this.meta_windows().map((win) => {
            this.extension.on_window_create(null, win);
        });
    }


    _disable (){
        this.extension.disconnect_tracked_signals(this);
        this.meta_workspace = null;
        this.extension = null;
    }

    id (){
        return this.meta_workspace.toString();
    }

    toString (){
        return "<# Workspace at idx " + this.meta_workspace.index() + ">";
    }

    meta_windows (){
        var self = this;

        var wins = global.get_window_actors().map(function (act){
            return act.meta_window;
        });

        wins = wins.filter(function (win){
            return win.get_workspace() === self.meta_workspace;
        });

        wins = this._compatibility.get_display().sort_windows_by_stacking(wins);

        return wins;
    }
}