2008-12-01 14:51:43 -05:00
|
|
|
/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
|
2008-11-21 09:02:09 -05:00
|
|
|
|
|
|
|
const Clutter = imports.gi.Clutter;
|
2009-09-15 13:09:51 -04:00
|
|
|
const Lang = imports.lang;
|
2008-11-21 09:02:09 -05:00
|
|
|
const Mainloop = imports.mainloop;
|
2008-11-21 16:34:10 -05:00
|
|
|
const Meta = imports.gi.Meta;
|
2008-11-21 09:02:09 -05:00
|
|
|
|
2009-04-13 10:55:41 -04:00
|
|
|
const AltTab = imports.ui.altTab;
|
2008-11-21 09:02:09 -05:00
|
|
|
const Main = imports.ui.main;
|
2009-02-10 11:12:58 -05:00
|
|
|
const Tweener = imports.ui.tweener;
|
2008-11-21 09:02:09 -05:00
|
|
|
|
2008-12-28 23:44:03 -05:00
|
|
|
const WINDOW_ANIMATION_TIME = 0.25;
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2008-11-21 10:10:11 -05:00
|
|
|
function WindowManager() {
|
|
|
|
this._init();
|
2008-11-21 09:02:09 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
WindowManager.prototype = {
|
2008-12-01 14:51:43 -05:00
|
|
|
_init : function() {
|
2009-09-15 13:09:51 -04:00
|
|
|
let shellwm = global.window_manager;
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2008-12-28 23:44:03 -05:00
|
|
|
this._minimizing = [];
|
|
|
|
this._maximizing = [];
|
|
|
|
this._unmaximizing = [];
|
|
|
|
this._mapping = [];
|
|
|
|
this._destroying = [];
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
this._switchData = null;
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.connect('switch-workspace', Lang.bind(this, this._switchWorkspace));
|
|
|
|
shellwm.connect('kill-switch-workspace', Lang.bind(this, this._switchWorkspaceDone));
|
|
|
|
shellwm.connect('minimize', Lang.bind(this, this._minimizeWindow));
|
|
|
|
shellwm.connect('kill-minimize', Lang.bind(this, this._minimizeWindowDone));
|
|
|
|
shellwm.connect('maximize', Lang.bind(this, this._maximizeWindow));
|
|
|
|
shellwm.connect('kill-maximize', Lang.bind(this, this._maximizeWindowDone));
|
|
|
|
shellwm.connect('unmaximize', Lang.bind(this, this._unmaximizeWindow));
|
|
|
|
shellwm.connect('kill-unmaximize', Lang.bind(this, this._unmaximizeWindowDone));
|
|
|
|
shellwm.connect('map', Lang.bind(this, this._mapWindow));
|
|
|
|
shellwm.connect('kill-map', Lang.bind(this, this._mapWindowDone));
|
|
|
|
shellwm.connect('destroy', Lang.bind(this, this._destroyWindow));
|
|
|
|
shellwm.connect('kill-destroy', Lang.bind(this, this._destroyWindowDone));
|
|
|
|
|
|
|
|
shellwm.connect('begin-alt-tab', Lang.bind(this, this._beginAltTab));
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
2009-02-03 13:25:34 -05:00
|
|
|
_shouldAnimate : function(actor) {
|
2009-08-11 07:46:10 -04:00
|
|
|
if (Main.overview.visible)
|
2009-02-03 13:25:34 -05:00
|
|
|
return false;
|
|
|
|
if (actor && (actor.get_window_type() != Meta.CompWindowType.NORMAL))
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
},
|
2008-12-28 23:44:03 -05:00
|
|
|
|
2009-02-05 19:57:54 -05:00
|
|
|
_removeEffect : function(list, actor) {
|
|
|
|
let idx = list.indexOf(actor);
|
|
|
|
if (idx != -1) {
|
|
|
|
list.splice(idx, 1);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_minimizeWindow : function(shellwm, actor) {
|
2009-02-03 13:25:34 -05:00
|
|
|
if (!this._shouldAnimate(actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_minimize(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
actor.set_scale(1.0, 1.0);
|
|
|
|
actor.move_anchor_point_from_gravity(Clutter.Gravity.CENTER);
|
|
|
|
|
|
|
|
/* scale window down to 0x0.
|
|
|
|
* maybe TODO: get icon geometry passed through and move the window towards it?
|
|
|
|
*/
|
|
|
|
this._minimizing.push(actor);
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
{ scale_x: 0.0,
|
|
|
|
scale_y: 0.0,
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
onComplete: this._minimizeWindowDone,
|
|
|
|
onCompleteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onCompleteParams: [shellwm, actor],
|
2009-02-05 19:57:54 -05:00
|
|
|
onOverwrite: this._minimizeWindowOverwritten,
|
|
|
|
onOverwriteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onOverwriteParams: [shellwm, actor]
|
2008-12-28 23:44:03 -05:00
|
|
|
});
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_minimizeWindowDone : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._minimizing, actor)) {
|
2008-12-28 23:44:03 -05:00
|
|
|
Tweener.removeTweens(actor);
|
|
|
|
actor.set_scale(1.0, 1.0);
|
|
|
|
actor.move_anchor_point_from_gravity(Clutter.Gravity.NORTH_WEST);
|
2009-02-05 19:57:54 -05:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_minimize(actor);
|
2009-02-05 19:57:54 -05:00
|
|
|
}
|
|
|
|
},
|
2008-12-28 23:44:03 -05:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_minimizeWindowOverwritten : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._minimizing, actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_minimize(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
}
|
|
|
|
},
|
2009-02-05 19:57:54 -05:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_maximizeWindow : function(shellwm, actor, targetX, targetY, targetWidth, targetHeight) {
|
|
|
|
shellwm.completed_maximize(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_maximizeWindowDone : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_maximizeWindowOverwrite : function(shellwm, actor) {
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_unmaximizeWindow : function(shellwm, actor, targetX, targetY, targetWidth, targetHeight) {
|
|
|
|
shellwm.completed_unmaximize(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_unmaximizeWindowDone : function(shellwm, actor) {
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_mapWindow : function(shellwm, actor) {
|
2009-02-03 13:25:34 -05:00
|
|
|
if (!this._shouldAnimate(actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_map(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
actor.move_anchor_point_from_gravity(Clutter.Gravity.CENTER);
|
|
|
|
actor.set_scale(0.0, 0.0);
|
|
|
|
actor.show();
|
|
|
|
|
|
|
|
/* scale window up from 0x0 to normal size */
|
|
|
|
this._mapping.push(actor);
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
{ scale_x: 1.0,
|
|
|
|
scale_y: 1.0,
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
onComplete: this._mapWindowDone,
|
|
|
|
onCompleteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onCompleteParams: [shellwm, actor],
|
2009-02-05 19:57:54 -05:00
|
|
|
onOverwrite: this._mapWindowOverwrite,
|
|
|
|
onOverwriteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onOverwriteParams: [shellwm, actor]
|
2008-12-28 23:44:03 -05:00
|
|
|
});
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_mapWindowDone : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._mapping, actor)) {
|
2008-12-28 23:44:03 -05:00
|
|
|
Tweener.removeTweens(actor);
|
|
|
|
actor.set_scale(1.0, 1.0);
|
|
|
|
actor.move_anchor_point_from_gravity(Clutter.Gravity.NORTH_WEST);
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_map(actor);
|
2009-02-05 19:57:54 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_mapWindowOverwrite : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._mapping, actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_map(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_destroyWindow : function(shellwm, actor) {
|
2009-02-03 13:25:34 -05:00
|
|
|
if (!this._shouldAnimate(actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_destroy(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
actor.move_anchor_point_from_gravity(Clutter.Gravity.CENTER);
|
|
|
|
|
|
|
|
/* anachronistic 'tv-like' effect - squash on y axis, leave x alone */
|
|
|
|
this._destroying.push(actor);
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
{ scale_x: 1.0,
|
|
|
|
scale_y: 0.0,
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
onComplete: this._destroyWindowDone,
|
|
|
|
onCompleteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onCompleteParams: [shellwm, actor],
|
2009-02-05 19:57:54 -05:00
|
|
|
onOverwrite: this._destroyWindowOverwrite,
|
|
|
|
onOverwriteScope: this,
|
2009-09-15 13:09:51 -04:00
|
|
|
onOverwriteParams: [shellwm, actor]
|
2008-12-28 23:44:03 -05:00
|
|
|
});
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
2008-12-28 23:44:03 -05:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_destroyWindowDone : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._destroying, actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_destroy(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
Tweener.removeTweens(actor);
|
|
|
|
actor.set_scale(1.0, 1.0);
|
2009-02-05 19:57:54 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_destroyWindowOverwrite : function(shellwm, actor) {
|
2009-02-05 19:57:54 -05:00
|
|
|
if (this._removeEffect(this._destroying, actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_destroy(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_switchWorkspace : function(shellwm, from, to, direction) {
|
2009-02-03 13:25:34 -05:00
|
|
|
if (!this._shouldAnimate()) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_switch_workspace();
|
2008-12-04 10:16:16 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
let windows = shellwm.get_switch_workspace_actors();
|
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
/* @direction is the direction that the "camera" moves, so the
|
|
|
|
* screen contents have to move one screen's worth in the
|
|
|
|
* opposite direction.
|
|
|
|
*/
|
|
|
|
let xDest = 0, yDest = 0;
|
|
|
|
|
|
|
|
if (direction == Meta.MotionDirection.UP ||
|
2008-11-21 16:34:10 -05:00
|
|
|
direction == Meta.MotionDirection.UP_LEFT ||
|
|
|
|
direction == Meta.MotionDirection.UP_RIGHT)
|
2009-09-11 17:23:23 -04:00
|
|
|
yDest = global.screen_height;
|
2008-12-01 14:51:43 -05:00
|
|
|
else if (direction == Meta.MotionDirection.DOWN ||
|
2008-11-21 16:34:10 -05:00
|
|
|
direction == Meta.MotionDirection.DOWN_LEFT ||
|
|
|
|
direction == Meta.MotionDirection.DOWN_RIGHT)
|
2009-09-11 17:23:23 -04:00
|
|
|
yDest = -global.screen_height;
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
if (direction == Meta.MotionDirection.LEFT ||
|
2008-11-21 16:34:10 -05:00
|
|
|
direction == Meta.MotionDirection.UP_LEFT ||
|
|
|
|
direction == Meta.MotionDirection.DOWN_LEFT)
|
2009-09-11 17:23:23 -04:00
|
|
|
xDest = global.screen_width;
|
2008-12-01 14:51:43 -05:00
|
|
|
else if (direction == Meta.MotionDirection.RIGHT ||
|
|
|
|
direction == Meta.MotionDirection.UP_RIGHT ||
|
|
|
|
direction == Meta.MotionDirection.DOWN_RIGHT)
|
2009-09-11 17:23:23 -04:00
|
|
|
xDest = -global.screen_width;
|
2008-12-01 14:51:43 -05:00
|
|
|
|
|
|
|
let switchData = {};
|
|
|
|
this._switchData = switchData;
|
|
|
|
switchData.inGroup = new Clutter.Group();
|
|
|
|
switchData.outGroup = new Clutter.Group();
|
|
|
|
switchData.windows = [];
|
|
|
|
|
2009-09-11 17:23:23 -04:00
|
|
|
let wgroup = global.window_group;
|
2008-12-01 14:51:43 -05:00
|
|
|
wgroup.add_actor(switchData.inGroup);
|
|
|
|
wgroup.add_actor(switchData.outGroup);
|
|
|
|
|
|
|
|
for (let i = 0; i < windows.length; i++) {
|
|
|
|
let window = windows[i];
|
2009-05-11 13:06:42 -04:00
|
|
|
|
|
|
|
if (!window.meta_window.showing_on_its_workspace())
|
|
|
|
continue;
|
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
if (window.get_workspace() == from) {
|
|
|
|
switchData.windows.push({ window: window,
|
|
|
|
parent: window.get_parent() });
|
|
|
|
window.reparent(switchData.outGroup);
|
|
|
|
} else if (window.get_workspace() == to) {
|
|
|
|
switchData.windows.push({ window: window,
|
|
|
|
parent: window.get_parent() });
|
|
|
|
window.reparent(switchData.inGroup);
|
|
|
|
window.show_all();
|
|
|
|
}
|
2008-11-21 16:34:10 -05:00
|
|
|
}
|
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
switchData.inGroup.set_position(-xDest, -yDest);
|
|
|
|
switchData.inGroup.raise_top();
|
|
|
|
|
|
|
|
Tweener.addTween(switchData.outGroup,
|
|
|
|
{ x: xDest,
|
|
|
|
y: yDest,
|
2009-05-13 15:24:32 -04:00
|
|
|
time: WINDOW_ANIMATION_TIME,
|
2009-05-11 16:21:39 -04:00
|
|
|
transition: "easeOutQuad",
|
2009-01-08 18:34:19 -05:00
|
|
|
onComplete: this._switchWorkspaceDone,
|
2009-09-15 13:09:51 -04:00
|
|
|
onCompleteScope: this,
|
|
|
|
onCompleteParams: [shellwm]
|
2008-12-01 14:51:43 -05:00
|
|
|
});
|
|
|
|
Tweener.addTween(switchData.inGroup,
|
|
|
|
{ x: 0,
|
|
|
|
y: 0,
|
2009-05-13 15:24:32 -04:00
|
|
|
time: WINDOW_ANIMATION_TIME,
|
2009-05-11 16:21:39 -04:00
|
|
|
transition: "easeOutQuad"
|
2008-12-01 14:51:43 -05:00
|
|
|
});
|
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_switchWorkspaceDone : function(shellwm) {
|
2008-12-01 14:51:43 -05:00
|
|
|
let switchData = this._switchData;
|
|
|
|
if (!switchData)
|
|
|
|
return;
|
|
|
|
this._switchData = null;
|
|
|
|
|
|
|
|
for (let i = 0; i < switchData.windows.length; i++) {
|
|
|
|
let w = switchData.windows[i];
|
|
|
|
if (w.window.get_parent() == switchData.outGroup) {
|
|
|
|
w.window.reparent(w.parent);
|
|
|
|
w.window.hide();
|
|
|
|
} else
|
|
|
|
w.window.reparent(w.parent);
|
|
|
|
}
|
|
|
|
Tweener.removeTweens(switchData.inGroup);
|
|
|
|
Tweener.removeTweens(switchData.outGroup);
|
|
|
|
switchData.inGroup.destroy();
|
|
|
|
switchData.outGroup.destroy();
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_switch_workspace();
|
2009-04-13 10:55:41 -04:00
|
|
|
},
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_beginAltTab : function(shellwm, handler) {
|
2009-04-13 10:55:41 -04:00
|
|
|
let popup = new AltTab.AltTabPopup();
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2009-04-13 10:55:41 -04:00
|
|
|
handler.connect('window-added', function(handler, window) { popup.addWindow(window); });
|
|
|
|
handler.connect('show', function(handler, initialSelection) { popup.show(initialSelection); });
|
|
|
|
handler.connect('destroy', function() { popup.destroy(); });
|
|
|
|
handler.connect('notify::selected', function() { popup.select(handler.selected); });
|
|
|
|
}
|
2008-11-21 09:02:09 -05:00
|
|
|
};
|