30 lines
723 B
JavaScript
30 lines
723 B
JavaScript
|
/* -*- mode: js2; js2-basic-offset: 4; -*- */
|
||
|
|
|
||
|
|
const Clutter = imports.gi.Clutter;
|
||
|
|
const Mainloop = imports.mainloop;
|
||
|
|
const Shell = imports.gi.Shell;
|
||
|
|
|
||
|
|
const Main = imports.ui.main;
|
||
|
|
|
||
|
|
function WindowManager(shellwm) {
|
||
|
|
this._init(shellwm);
|
||
|
|
}
|
||
|
|
|
||
|
|
WindowManager.prototype = {
|
||
|
|
_init : function(shellwm) {
|
||
|
|
let global = Shell.global_get();
|
||
|
|
let shellwm = global.window_manager;
|
||
|
|
|
||
|
|
shellwm.connect('switch-workspace',
|
||
|
|
function(o, from, to, direction) {
|
||
|
|
let actors = shellwm.get_switch_workspace_actors();
|
||
|
|
for (let i = 0; i < actors.length; i++) {
|
||
|
|
if (actors[i].get_workspace() == from)
|
||
|
|
actors[i].hide();
|
||
|
|
else if (actors[i].get_workspace() == to)
|
||
|
|
actors[i].show();
|
||
|
|
}
|
||
|
|
});
|
||
|
|
}
|
||
|
|
};
|