2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2008-11-21 09:02:09 -05:00
|
|
|
|
|
|
|
|
const Clutter = imports.gi.Clutter;
|
2010-09-10 21:30:50 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
|
|
|
|
const Gio = imports.gi.Gio;
|
2009-09-15 13:09:51 -04:00
|
|
|
const Lang = imports.lang;
|
2012-12-22 22:10:27 -05:00
|
|
|
const Mainloop = imports.mainloop;
|
2008-11-21 16:34:10 -05:00
|
|
|
const Meta = imports.gi.Meta;
|
2010-02-10 17:26:24 -05:00
|
|
|
const St = imports.gi.St;
|
2011-05-20 05:14:54 -04:00
|
|
|
const Shell = imports.gi.Shell;
|
2008-11-21 09:02:09 -05:00
|
|
|
|
2009-04-13 10:55:41 -04:00
|
|
|
const AltTab = imports.ui.altTab;
|
2010-02-12 17:52:15 -05:00
|
|
|
const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup;
|
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
|
|
|
|
2012-03-27 09:26:20 -04:00
|
|
|
const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings';
|
2008-12-28 23:44:03 -05:00
|
|
|
const WINDOW_ANIMATION_TIME = 0.25;
|
2012-08-10 08:39:42 -04:00
|
|
|
const DIM_BRIGHTNESS = -0.3;
|
2010-09-10 21:30:50 -04:00
|
|
|
const DIM_TIME = 0.500;
|
|
|
|
|
const UNDIM_TIME = 0.250;
|
|
|
|
|
|
|
|
|
|
|
2011-11-20 12:56:27 -05:00
|
|
|
const WindowDimmer = new Lang.Class({
|
|
|
|
|
Name: 'WindowDimmer',
|
2010-09-10 21:30:50 -04:00
|
|
|
|
2011-09-20 14:21:45 -04:00
|
|
|
_init: function(actor) {
|
2012-07-13 13:57:36 -04:00
|
|
|
this._brightnessEffect = new Clutter.BrightnessContrastEffect();
|
|
|
|
|
actor.add_effect(this._brightnessEffect);
|
2010-09-10 21:30:50 -04:00
|
|
|
this.actor = actor;
|
2012-08-30 15:32:44 -04:00
|
|
|
this._enabled = true;
|
2012-07-13 13:57:36 -04:00
|
|
|
this._dimFactor = 0.0;
|
2012-08-30 15:32:44 -04:00
|
|
|
this._syncEnabled();
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_syncEnabled: function() {
|
|
|
|
|
this._brightnessEffect.enabled = (this._enabled && this._dimFactor > 0);
|
2010-09-10 21:30:50 -04:00
|
|
|
},
|
|
|
|
|
|
2012-07-13 13:57:36 -04:00
|
|
|
setEnabled: function(enabled) {
|
2012-08-30 15:32:44 -04:00
|
|
|
this._enabled = enabled;
|
|
|
|
|
this._syncEnabled();
|
2010-09-10 21:30:50 -04:00
|
|
|
},
|
|
|
|
|
|
2012-07-13 13:57:36 -04:00
|
|
|
set dimFactor(factor) {
|
|
|
|
|
this._dimFactor = factor;
|
|
|
|
|
this._brightnessEffect.set_brightness(factor * DIM_BRIGHTNESS);
|
2012-08-30 15:32:44 -04:00
|
|
|
this._syncEnabled();
|
2010-09-10 21:30:50 -04:00
|
|
|
},
|
|
|
|
|
|
2012-07-13 13:57:36 -04:00
|
|
|
get dimFactor() {
|
|
|
|
|
return this._dimFactor;
|
|
|
|
|
}
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|
2010-09-10 21:30:50 -04:00
|
|
|
|
2011-09-20 14:21:45 -04:00
|
|
|
function getWindowDimmer(actor) {
|
2012-08-30 15:32:44 -04:00
|
|
|
let enabled = Meta.prefs_get_attach_modal_dialogs();
|
|
|
|
|
if (actor._windowDimmer)
|
|
|
|
|
actor._windowDimmer.setEnabled(enabled);
|
|
|
|
|
|
|
|
|
|
if (enabled) {
|
|
|
|
|
if (!actor._windowDimmer)
|
|
|
|
|
actor._windowDimmer = new WindowDimmer(actor);
|
|
|
|
|
return actor._windowDimmer;
|
|
|
|
|
} else {
|
|
|
|
|
return null;
|
|
|
|
|
}
|
2010-09-10 21:30:50 -04:00
|
|
|
}
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2012-12-22 22:10:27 -05:00
|
|
|
/*
|
|
|
|
|
* When the last window closed on a workspace is a dialog or splash
|
|
|
|
|
* screen, we assume that it might be an initial window shown before
|
|
|
|
|
* the main window of an application, and give the app a grace period
|
|
|
|
|
* where it can map another window before we remove the workspace.
|
|
|
|
|
*/
|
|
|
|
|
const LAST_WINDOW_GRACE_TIME = 1000;
|
|
|
|
|
|
|
|
|
|
const WorkspaceTracker = new Lang.Class({
|
|
|
|
|
Name: 'WorkspaceTracker',
|
|
|
|
|
|
|
|
|
|
_init: function(wm) {
|
|
|
|
|
this._wm = wm;
|
|
|
|
|
|
|
|
|
|
this._workspaces = [];
|
|
|
|
|
this._checkWorkspacesId = 0;
|
|
|
|
|
|
|
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
|
|
|
|
tracker.connect('startup-sequence-changed', Lang.bind(this, this._queueCheckWorkspaces));
|
|
|
|
|
|
|
|
|
|
global.screen.connect('notify::n-workspaces', Lang.bind(this, this._nWorkspacesChanged));
|
|
|
|
|
|
|
|
|
|
global.screen.connect('window-entered-monitor', Lang.bind(this, this._windowEnteredMonitor));
|
|
|
|
|
global.screen.connect('window-left-monitor', Lang.bind(this, this._windowLeftMonitor));
|
|
|
|
|
global.screen.connect('restacked', Lang.bind(this, this._windowsRestacked));
|
|
|
|
|
|
2013-06-06 12:47:56 -04:00
|
|
|
this._workspaceSettings = new Gio.Settings({ schema: Main.dynamicWorkspacesSchema });
|
|
|
|
|
this._workspaceSettings.connect('changed::dynamic-workspaces', Lang.bind(this, this._queueCheckWorkspaces));
|
2012-12-22 22:10:27 -05:00
|
|
|
|
|
|
|
|
this._nWorkspacesChanged();
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_checkWorkspaces: function() {
|
|
|
|
|
let i;
|
|
|
|
|
let emptyWorkspaces = [];
|
|
|
|
|
|
|
|
|
|
if (!Meta.prefs_get_dynamic_workspaces()) {
|
|
|
|
|
this._checkWorkspacesId = 0;
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for (i = 0; i < this._workspaces.length; i++) {
|
|
|
|
|
let lastRemoved = this._workspaces[i]._lastRemovedWindow;
|
|
|
|
|
if ((lastRemoved &&
|
|
|
|
|
(lastRemoved.get_window_type() == Meta.WindowType.SPLASHSCREEN ||
|
|
|
|
|
lastRemoved.get_window_type() == Meta.WindowType.DIALOG ||
|
|
|
|
|
lastRemoved.get_window_type() == Meta.WindowType.MODAL_DIALOG)) ||
|
|
|
|
|
this._workspaces[i]._keepAliveId)
|
|
|
|
|
emptyWorkspaces[i] = false;
|
|
|
|
|
else
|
|
|
|
|
emptyWorkspaces[i] = true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let sequences = Shell.WindowTracker.get_default().get_startup_sequences();
|
|
|
|
|
for (i = 0; i < sequences.length; i++) {
|
|
|
|
|
let index = sequences[i].get_workspace();
|
|
|
|
|
if (index >= 0 && index <= global.screen.n_workspaces)
|
|
|
|
|
emptyWorkspaces[index] = false;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let windows = global.get_window_actors();
|
|
|
|
|
for (i = 0; i < windows.length; i++) {
|
|
|
|
|
let win = windows[i];
|
|
|
|
|
|
|
|
|
|
if (win.get_meta_window().is_on_all_workspaces())
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
let workspaceIndex = win.get_workspace();
|
|
|
|
|
emptyWorkspaces[workspaceIndex] = false;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// If we don't have an empty workspace at the end, add one
|
|
|
|
|
if (!emptyWorkspaces[emptyWorkspaces.length -1]) {
|
|
|
|
|
global.screen.append_new_workspace(false, global.get_current_time());
|
|
|
|
|
emptyWorkspaces.push(false);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
|
|
|
|
let removingCurrentWorkspace = (emptyWorkspaces[activeWorkspaceIndex] &&
|
|
|
|
|
activeWorkspaceIndex < emptyWorkspaces.length - 1);
|
|
|
|
|
// Don't enter the overview when removing multiple empty workspaces at startup
|
|
|
|
|
let showOverview = (removingCurrentWorkspace &&
|
|
|
|
|
!emptyWorkspaces.every(function(x) { return x; }));
|
|
|
|
|
|
|
|
|
|
if (removingCurrentWorkspace) {
|
|
|
|
|
// "Merge" the empty workspace we are removing with the one at the end
|
|
|
|
|
this._wm.blockAnimations();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Delete other empty workspaces; do it from the end to avoid index changes
|
|
|
|
|
for (i = emptyWorkspaces.length - 2; i >= 0; i--) {
|
|
|
|
|
if (emptyWorkspaces[i])
|
|
|
|
|
global.screen.remove_workspace(this._workspaces[i], global.get_current_time());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (removingCurrentWorkspace) {
|
|
|
|
|
global.screen.get_workspace_by_index(global.screen.n_workspaces - 1).activate(global.get_current_time());
|
|
|
|
|
this._wm.unblockAnimations();
|
|
|
|
|
|
|
|
|
|
if (!Main.overview.visible && showOverview)
|
|
|
|
|
Main.overview.show();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._checkWorkspacesId = 0;
|
|
|
|
|
return false;
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
keepWorkspaceAlive: function(workspace, duration) {
|
|
|
|
|
if (workspace._keepAliveId)
|
|
|
|
|
Mainloop.source_remove(workspace._keepAliveId);
|
|
|
|
|
|
|
|
|
|
workspace._keepAliveId = Mainloop.timeout_add(duration, Lang.bind(this, function() {
|
|
|
|
|
workspace._keepAliveId = 0;
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
return false;
|
|
|
|
|
}));
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_windowRemoved: function(workspace, window) {
|
|
|
|
|
workspace._lastRemovedWindow = window;
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
Mainloop.timeout_add(LAST_WINDOW_GRACE_TIME, Lang.bind(this, function() {
|
|
|
|
|
if (workspace._lastRemovedWindow == window) {
|
|
|
|
|
workspace._lastRemovedWindow = null;
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
}
|
|
|
|
|
return false;
|
|
|
|
|
}));
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_windowLeftMonitor: function(metaScreen, monitorIndex, metaWin) {
|
|
|
|
|
// If the window left the primary monitor, that
|
|
|
|
|
// might make that workspace empty
|
|
|
|
|
if (monitorIndex == Main.layoutManager.primaryIndex)
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_windowEnteredMonitor: function(metaScreen, monitorIndex, metaWin) {
|
|
|
|
|
// If the window entered the primary monitor, that
|
|
|
|
|
// might make that workspace non-empty
|
|
|
|
|
if (monitorIndex == Main.layoutManager.primaryIndex)
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_windowsRestacked: function() {
|
|
|
|
|
// Figure out where the pointer is in case we lost track of
|
|
|
|
|
// it during a grab. (In particular, if a trayicon popup menu
|
|
|
|
|
// is dismissed, see if we need to close the message tray.)
|
|
|
|
|
global.sync_pointer();
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_queueCheckWorkspaces: function() {
|
|
|
|
|
if (this._checkWorkspacesId == 0)
|
|
|
|
|
this._checkWorkspacesId = Meta.later_add(Meta.LaterType.BEFORE_REDRAW, Lang.bind(this, this._checkWorkspaces));
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_nWorkspacesChanged: function() {
|
|
|
|
|
let oldNumWorkspaces = this._workspaces.length;
|
|
|
|
|
let newNumWorkspaces = global.screen.n_workspaces;
|
|
|
|
|
|
|
|
|
|
if (oldNumWorkspaces == newNumWorkspaces)
|
|
|
|
|
return false;
|
|
|
|
|
|
|
|
|
|
let lostWorkspaces = [];
|
|
|
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
|
|
|
|
let w;
|
|
|
|
|
|
|
|
|
|
// Assume workspaces are only added at the end
|
|
|
|
|
for (w = oldNumWorkspaces; w < newNumWorkspaces; w++)
|
|
|
|
|
this._workspaces[w] = global.screen.get_workspace_by_index(w);
|
|
|
|
|
|
|
|
|
|
for (w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
|
|
|
|
|
let workspace = this._workspaces[w];
|
|
|
|
|
workspace._windowAddedId = workspace.connect('window-added', Lang.bind(this, this._queueCheckWorkspaces));
|
|
|
|
|
workspace._windowRemovedId = workspace.connect('window-removed', Lang.bind(this, this._windowRemoved));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
} else {
|
|
|
|
|
// Assume workspaces are only removed sequentially
|
|
|
|
|
// (e.g. 2,3,4 - not 2,4,7)
|
|
|
|
|
let removedIndex;
|
|
|
|
|
let removedNum = oldNumWorkspaces - newNumWorkspaces;
|
|
|
|
|
for (let w = 0; w < oldNumWorkspaces; w++) {
|
|
|
|
|
let workspace = global.screen.get_workspace_by_index(w);
|
|
|
|
|
if (this._workspaces[w] != workspace) {
|
|
|
|
|
removedIndex = w;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let lostWorkspaces = this._workspaces.splice(removedIndex, removedNum);
|
|
|
|
|
lostWorkspaces.forEach(function(workspace) {
|
|
|
|
|
workspace.disconnect(workspace._windowAddedId);
|
|
|
|
|
workspace.disconnect(workspace._windowRemovedId);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._queueCheckWorkspaces();
|
|
|
|
|
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
|
2011-11-20 12:56:27 -05:00
|
|
|
const WindowManager = new Lang.Class({
|
|
|
|
|
Name: 'WindowManager',
|
2008-11-21 09:02:09 -05:00
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
_init : function() {
|
2010-03-15 22:06:58 -04:00
|
|
|
this._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 = [];
|
2012-06-26 14:11:44 -04:00
|
|
|
this._movingWindow = null;
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2010-09-12 05:39:52 -04:00
|
|
|
this._dimmedWindows = [];
|
|
|
|
|
|
2011-02-16 15:05:20 -05:00
|
|
|
this._animationBlockCount = 0;
|
|
|
|
|
|
2012-08-10 20:53:38 -04:00
|
|
|
this._allowedKeybindings = {};
|
|
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
this._switchData = null;
|
2010-03-15 22:06:58 -04:00
|
|
|
this._shellwm.connect('kill-switch-workspace', Lang.bind(this, this._switchWorkspaceDone));
|
2010-06-16 17:28:57 -04:00
|
|
|
this._shellwm.connect('kill-window-effects', Lang.bind(this, function (shellwm, actor) {
|
|
|
|
|
this._minimizeWindowDone(shellwm, actor);
|
|
|
|
|
this._maximizeWindowDone(shellwm, actor);
|
|
|
|
|
this._unmaximizeWindowDone(shellwm, actor);
|
|
|
|
|
this._mapWindowDone(shellwm, actor);
|
|
|
|
|
this._destroyWindowDone(shellwm, actor);
|
|
|
|
|
}));
|
|
|
|
|
|
|
|
|
|
this._shellwm.connect('switch-workspace', Lang.bind(this, this._switchWorkspace));
|
2010-03-15 22:06:58 -04:00
|
|
|
this._shellwm.connect('minimize', Lang.bind(this, this._minimizeWindow));
|
|
|
|
|
this._shellwm.connect('maximize', Lang.bind(this, this._maximizeWindow));
|
|
|
|
|
this._shellwm.connect('unmaximize', Lang.bind(this, this._unmaximizeWindow));
|
|
|
|
|
this._shellwm.connect('map', Lang.bind(this, this._mapWindow));
|
|
|
|
|
this._shellwm.connect('destroy', Lang.bind(this, this._destroyWindow));
|
2012-08-20 04:38:13 -04:00
|
|
|
this._shellwm.connect('filter-keybinding', Lang.bind(this, this._filterKeybinding));
|
2010-02-12 17:52:15 -05:00
|
|
|
|
|
|
|
|
this._workspaceSwitcherPopup = null;
|
2012-08-11 00:34:53 -04:00
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-left',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-right',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-up',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-down',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-left',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-right',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-up',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-down',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
2013-05-17 10:54:23 -04:00
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-1',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-2',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-3',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-4',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-5',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-6',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-7',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-8',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-9',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-10',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-11',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-to-workspace-12',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-1',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-2',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-3',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-4',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-5',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-6',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-7',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-8',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-9',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-10',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-11',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('move-to-workspace-12',
|
|
|
|
|
Shell.KeyBindingMode.NORMAL,
|
|
|
|
|
Lang.bind(this, this._showWorkspaceSwitcher));
|
2012-11-22 19:18:06 -05:00
|
|
|
this.setCustomKeybindingHandler('switch-applications',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._startAppSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-group',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._startAppSwitcher));
|
2012-11-22 19:18:06 -05:00
|
|
|
this.setCustomKeybindingHandler('switch-applications-backward',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._startAppSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-group-backward',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._startAppSwitcher));
|
2012-11-22 21:20:10 -05:00
|
|
|
this.setCustomKeybindingHandler('switch-windows',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-11-22 21:20:10 -05:00
|
|
|
Lang.bind(this, this._startWindowSwitcher));
|
|
|
|
|
this.setCustomKeybindingHandler('switch-windows-backward',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL,
|
2012-11-22 21:20:10 -05:00
|
|
|
Lang.bind(this, this._startWindowSwitcher));
|
2012-08-11 00:34:53 -04:00
|
|
|
this.setCustomKeybindingHandler('switch-panels',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW |
|
|
|
|
|
Shell.KeyBindingMode.LOCK_SCREEN |
|
|
|
|
|
Shell.KeyBindingMode.UNLOCK_SCREEN |
|
|
|
|
|
Shell.KeyBindingMode.LOGIN_SCREEN,
|
2012-08-11 00:34:53 -04:00
|
|
|
Lang.bind(this, this._startA11ySwitcher));
|
2012-12-03 05:07:28 -05:00
|
|
|
this.setCustomKeybindingHandler('switch-panels-backward',
|
2012-12-12 08:14:13 -05:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.OVERVIEW |
|
|
|
|
|
Shell.KeyBindingMode.LOCK_SCREEN |
|
|
|
|
|
Shell.KeyBindingMode.UNLOCK_SCREEN |
|
|
|
|
|
Shell.KeyBindingMode.LOGIN_SCREEN,
|
2012-12-03 05:07:28 -05:00
|
|
|
Lang.bind(this, this._startA11ySwitcher));
|
2012-08-11 00:34:53 -04:00
|
|
|
|
|
|
|
|
this.addKeybinding('open-application-menu',
|
|
|
|
|
new Gio.Settings({ schema: SHELL_KEYBINDINGS_SCHEMA }),
|
|
|
|
|
Meta.KeyBindingFlags.NONE,
|
2013-04-26 10:14:55 -04:00
|
|
|
Shell.KeyBindingMode.NORMAL |
|
|
|
|
|
Shell.KeyBindingMode.TOPBAR_POPUP,
|
|
|
|
|
Lang.bind(this, this._toggleAppMenu));
|
2010-09-12 05:39:52 -04:00
|
|
|
|
|
|
|
|
Main.overview.connect('showing', Lang.bind(this, function() {
|
|
|
|
|
for (let i = 0; i < this._dimmedWindows.length; i++)
|
2012-07-13 19:37:10 -04:00
|
|
|
this._undimWindow(this._dimmedWindows[i]);
|
2010-09-12 05:39:52 -04:00
|
|
|
}));
|
|
|
|
|
Main.overview.connect('hiding', Lang.bind(this, function() {
|
|
|
|
|
for (let i = 0; i < this._dimmedWindows.length; i++)
|
2012-07-13 19:37:10 -04:00
|
|
|
this._dimWindow(this._dimmedWindows[i]);
|
2010-09-12 05:39:52 -04:00
|
|
|
}));
|
2012-12-22 22:10:27 -05:00
|
|
|
|
|
|
|
|
this._workspaceTracker = new WorkspaceTracker(this);
|
2012-12-22 22:10:48 -05:00
|
|
|
|
|
|
|
|
global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT,
|
|
|
|
|
false, -1, 1);
|
2010-03-15 22:06:58 -04:00
|
|
|
},
|
|
|
|
|
|
2013-06-16 00:12:22 -04:00
|
|
|
keepWorkspaceAlive: function(workspace, duration) {
|
|
|
|
|
this._workspaceTracker.keepWorkspaceAlive(workspace, duration);
|
|
|
|
|
},
|
|
|
|
|
|
2012-08-10 20:53:38 -04:00
|
|
|
setCustomKeybindingHandler: function(name, modes, handler) {
|
|
|
|
|
if (Meta.keybindings_set_custom_handler(name, handler))
|
|
|
|
|
this.allowKeybinding(name, modes);
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
addKeybinding: function(name, settings, flags, modes, handler) {
|
2012-12-12 03:40:49 -05:00
|
|
|
let action = global.display.add_keybinding(name, settings, flags, handler);
|
|
|
|
|
if (action != Meta.KeyBindingAction.NONE)
|
2012-08-10 20:53:38 -04:00
|
|
|
this.allowKeybinding(name, modes);
|
2012-12-12 03:40:49 -05:00
|
|
|
return action;
|
2012-08-10 20:53:38 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
|
|
removeKeybinding: function(name) {
|
|
|
|
|
if (global.display.remove_keybinding(name))
|
2012-12-12 08:14:13 -05:00
|
|
|
this.allowKeybinding(name, Shell.KeyBindingMode.NONE);
|
2012-08-10 20:53:38 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
|
|
allowKeybinding: function(name, modes) {
|
|
|
|
|
this._allowedKeybindings[name] = modes;
|
|
|
|
|
},
|
|
|
|
|
|
2011-02-16 15:05:20 -05:00
|
|
|
blockAnimations: function() {
|
|
|
|
|
this._animationBlockCount++;
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
unblockAnimations: function() {
|
|
|
|
|
this._animationBlockCount = Math.max(0, this._animationBlockCount - 1);
|
|
|
|
|
},
|
|
|
|
|
|
2012-07-13 20:43:07 -04:00
|
|
|
_shouldAnimate: function() {
|
|
|
|
|
return !(Main.overview.visible || this._animationBlockCount > 0);
|
|
|
|
|
},
|
|
|
|
|
|
|
|
|
|
_shouldAnimateActor: function(actor) {
|
|
|
|
|
if (!this._shouldAnimate())
|
2009-02-03 13:25:34 -05:00
|
|
|
return false;
|
2012-12-14 21:23:36 -05:00
|
|
|
let windowType = actor.meta_window.get_window_type();
|
|
|
|
|
return windowType == Meta.WindowType.NORMAL ||
|
|
|
|
|
windowType == Meta.WindowType.MODAL_DIALOG;
|
2009-02-03 13:25:34 -05:00
|
|
|
},
|
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) {
|
2012-07-13 20:43:07 -04:00
|
|
|
if (!this._shouldAnimateActor(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);
|
|
|
|
|
|
|
|
|
|
this._minimizing.push(actor);
|
2010-02-05 07:50:11 -05:00
|
|
|
|
2013-02-18 13:26:13 -05:00
|
|
|
if (actor.meta_window.is_monitor_sized()) {
|
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
|
{ opacity: 0,
|
2008-12-28 23:44:03 -05:00
|
|
|
time: WINDOW_ANIMATION_TIME,
|
2010-05-13 15:46:04 -04:00
|
|
|
transition: 'easeOutQuad',
|
2008-12-28 23:44:03 -05:00
|
|
|
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
|
|
|
});
|
2013-02-18 13:26:13 -05:00
|
|
|
} else {
|
|
|
|
|
let xDest, yDest, xScale, yScale;
|
|
|
|
|
let [success, geom] = actor.meta_window.get_icon_geometry();
|
|
|
|
|
if (success) {
|
|
|
|
|
xDest = geom.x;
|
|
|
|
|
yDest = geom.y;
|
|
|
|
|
xScale = geom.width / actor.width;
|
|
|
|
|
yScale = geom.height / actor.height;
|
|
|
|
|
} else {
|
|
|
|
|
let monitor = Main.layoutManager.monitors[actor.meta_window.get_monitor()];
|
|
|
|
|
xDest = monitor.x;
|
|
|
|
|
yDest = monitor.y;
|
|
|
|
|
if (Clutter.get_default_text_direction() == Clutter.TextDirection.RTL)
|
|
|
|
|
xDest += monitor.width;
|
|
|
|
|
xScale = 0;
|
|
|
|
|
yScale = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
|
{ scale_x: xScale,
|
|
|
|
|
scale_y: yScale,
|
|
|
|
|
x: xDest,
|
|
|
|
|
y: yDest,
|
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
|
transition: 'easeOutQuad',
|
|
|
|
|
onComplete: this._minimizeWindowDone,
|
|
|
|
|
onCompleteScope: this,
|
|
|
|
|
onCompleteParams: [shellwm, actor],
|
|
|
|
|
onOverwrite: this._minimizeWindowOverwritten,
|
|
|
|
|
onOverwriteScope: this,
|
|
|
|
|
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);
|
2013-02-18 13:26:13 -05:00
|
|
|
actor.set_opacity(255);
|
2008-12-28 23:44:03 -05:00
|
|
|
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
|
|
|
},
|
|
|
|
|
|
2011-03-07 22:09:41 -05:00
|
|
|
_hasAttachedDialogs: function(window, ignoreWindow) {
|
2010-09-10 21:30:50 -04:00
|
|
|
var count = 0;
|
2011-03-07 22:09:41 -05:00
|
|
|
window.foreach_transient(function(win) {
|
2011-04-05 10:16:50 -04:00
|
|
|
if (win != ignoreWindow && win.is_attached_dialog())
|
2010-09-10 21:30:50 -04:00
|
|
|
count++;
|
|
|
|
|
return false;
|
|
|
|
|
});
|
|
|
|
|
return count != 0;
|
|
|
|
|
},
|
|
|
|
|
|
2011-03-07 22:09:41 -05:00
|
|
|
_checkDimming: function(window, ignoreWindow) {
|
2011-04-05 10:16:50 -04:00
|
|
|
let shouldDim = this._hasAttachedDialogs(window, ignoreWindow);
|
2011-03-07 22:09:41 -05:00
|
|
|
|
|
|
|
|
if (shouldDim && !window._dimmed) {
|
|
|
|
|
window._dimmed = true;
|
|
|
|
|
this._dimmedWindows.push(window);
|
|
|
|
|
if (!Main.overview.visible)
|
2012-07-13 19:37:10 -04:00
|
|
|
this._dimWindow(window);
|
2011-03-07 22:09:41 -05:00
|
|
|
} else if (!shouldDim && window._dimmed) {
|
|
|
|
|
window._dimmed = false;
|
|
|
|
|
this._dimmedWindows = this._dimmedWindows.filter(function(win) {
|
|
|
|
|
return win != window;
|
|
|
|
|
});
|
|
|
|
|
if (!Main.overview.visible)
|
2012-07-13 19:37:10 -04:00
|
|
|
this._undimWindow(window);
|
2010-09-30 17:09:15 -04:00
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
|
2012-07-13 19:37:10 -04:00
|
|
|
_dimWindow: function(window) {
|
2011-03-07 22:09:41 -05:00
|
|
|
let actor = window.get_compositor_private();
|
|
|
|
|
if (!actor)
|
2010-09-10 21:30:50 -04:00
|
|
|
return;
|
2012-07-13 13:57:36 -04:00
|
|
|
let dimmer = getWindowDimmer(actor);
|
2012-08-30 15:32:44 -04:00
|
|
|
if (!dimmer)
|
2012-07-13 13:57:36 -04:00
|
|
|
return;
|
|
|
|
|
Tweener.addTween(dimmer,
|
|
|
|
|
{ dimFactor: 1.0,
|
2012-07-13 19:37:10 -04:00
|
|
|
time: DIM_TIME,
|
|
|
|
|
transition: 'linear'
|
|
|
|
|
});
|
2010-09-10 21:30:50 -04:00
|
|
|
},
|
|
|
|
|
|
2012-07-13 19:37:10 -04:00
|
|
|
_undimWindow: function(window) {
|
2011-03-07 22:09:41 -05:00
|
|
|
let actor = window.get_compositor_private();
|
|
|
|
|
if (!actor)
|
2010-09-10 21:30:50 -04:00
|
|
|
return;
|
2012-07-13 13:57:36 -04:00
|
|
|
let dimmer = getWindowDimmer(actor);
|
2012-08-30 15:32:44 -04:00
|
|
|
if (!dimmer)
|
2012-07-13 13:57:36 -04:00
|
|
|
return;
|
|
|
|
|
Tweener.addTween(dimmer,
|
|
|
|
|
{ dimFactor: 0.0,
|
2012-07-13 19:37:10 -04:00
|
|
|
time: UNDIM_TIME,
|
2012-08-30 15:32:44 -04:00
|
|
|
transition: 'linear' });
|
2010-09-10 21:30:50 -04:00
|
|
|
},
|
|
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_mapWindow : function(shellwm, actor) {
|
2010-09-30 17:09:15 -04:00
|
|
|
actor._windowType = actor.meta_window.get_window_type();
|
|
|
|
|
actor._notifyWindowTypeSignalId = actor.meta_window.connect('notify::window-type', Lang.bind(this, function () {
|
|
|
|
|
let type = actor.meta_window.get_window_type();
|
|
|
|
|
if (type == actor._windowType)
|
|
|
|
|
return;
|
2011-03-07 22:09:41 -05:00
|
|
|
if (type == Meta.WindowType.MODAL_DIALOG ||
|
|
|
|
|
actor._windowType == Meta.WindowType.MODAL_DIALOG) {
|
|
|
|
|
let parent = actor.get_meta_window().get_transient_for();
|
|
|
|
|
if (parent)
|
|
|
|
|
this._checkDimming(parent);
|
|
|
|
|
}
|
2010-09-30 17:09:15 -04:00
|
|
|
|
|
|
|
|
actor._windowType = type;
|
|
|
|
|
}));
|
2012-12-14 21:23:36 -05:00
|
|
|
|
2012-08-10 09:18:40 -04:00
|
|
|
if (!this._shouldAnimateActor(actor)) {
|
2009-09-15 13:09:51 -04:00
|
|
|
shellwm.completed_map(actor);
|
2008-12-28 23:44:03 -05:00
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2012-12-14 21:23:36 -05:00
|
|
|
if (actor.meta_window.is_attached_dialog()) {
|
|
|
|
|
/* Scale the window from the center of the parent */
|
|
|
|
|
this._checkDimming(actor.get_meta_window().get_transient_for());
|
|
|
|
|
actor.set_scale(1.0, 0.0);
|
|
|
|
|
actor.scale_gravity = Clutter.Gravity.CENTER;
|
|
|
|
|
actor.show();
|
|
|
|
|
this._mapping.push(actor);
|
2010-04-02 14:30:10 -04:00
|
|
|
|
2012-12-14 21:23:36 -05:00
|
|
|
Tweener.addTween(actor,
|
|
|
|
|
{ scale_y: 1,
|
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
|
onComplete: this._mapWindowDone,
|
|
|
|
|
onCompleteScope: this,
|
|
|
|
|
onCompleteParams: [shellwm, actor],
|
|
|
|
|
onOverwrite: this._mapWindowOverwrite,
|
|
|
|
|
onOverwriteScope: this,
|
|
|
|
|
onOverwriteParams: [shellwm, actor]
|
|
|
|
|
});
|
|
|
|
|
} else {
|
|
|
|
|
/* Fade window in */
|
|
|
|
|
actor.opacity = 0;
|
|
|
|
|
actor.show();
|
|
|
|
|
this._mapping.push(actor);
|
|
|
|
|
|
|
|
|
|
Tweener.addTween(actor,
|
|
|
|
|
{ opacity: 255,
|
|
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
|
transition: 'easeOutQuad',
|
|
|
|
|
onComplete: this._mapWindowDone,
|
|
|
|
|
onCompleteScope: this,
|
|
|
|
|
onCompleteParams: [shellwm, actor],
|
|
|
|
|
onOverwrite: this._mapWindowOverwrite,
|
|
|
|
|
onOverwriteScope: this,
|
|
|
|
|
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);
|
2010-04-02 14:30:10 -04:00
|
|
|
actor.opacity = 255;
|
2012-12-16 14:02:17 -05:00
|
|
|
actor.scale_y = 1;
|
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
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
|
2010-09-15 07:52:20 -04:00
|
|
|
_destroyWindow : function(shellwm, actor) {
|
2011-03-07 22:09:41 -05:00
|
|
|
let window = actor.meta_window;
|
2010-09-30 17:09:15 -04:00
|
|
|
if (actor._notifyWindowTypeSignalId) {
|
2011-03-07 22:09:41 -05:00
|
|
|
window.disconnect(actor._notifyWindowTypeSignalId);
|
2010-09-30 17:09:15 -04:00
|
|
|
actor._notifyWindowTypeSignalId = 0;
|
|
|
|
|
}
|
2011-03-07 22:09:41 -05:00
|
|
|
if (window._dimmed) {
|
|
|
|
|
this._dimmedWindows = this._dimmedWindows.filter(function(win) {
|
|
|
|
|
return win != window;
|
|
|
|
|
});
|
|
|
|
|
}
|
2012-12-14 21:23:36 -05:00
|
|
|
|
|
|
|
|
if (!this._shouldAnimateActor(actor)) {
|
|
|
|
|
shellwm.completed_destroy(actor);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._destroying.push(actor);
|
|
|
|
|
|
2011-04-05 10:16:50 -04:00
|
|
|
if (window.is_attached_dialog()) {
|
|
|
|
|
let parent = window.get_transient_for();
|
2011-03-07 22:09:41 -05:00
|
|
|
this._checkDimming(parent, window);
|
2011-04-05 10:16:50 -04:00
|
|
|
|
2012-08-10 09:18:40 -04:00
|
|
|
actor.set_scale(1.0, 1.0);
|
2012-08-10 09:23:35 -04:00
|
|
|
actor.scale_gravity = Clutter.Gravity.CENTER;
|
2010-09-10 21:30:50 -04:00
|
|
|
actor.show();
|
2010-09-15 07:52:20 -04:00
|
|
|
|
|
|
|
|
actor._parentDestroyId = parent.connect('unmanaged', Lang.bind(this, function () {
|
|
|
|
|
Tweener.removeTweens(actor);
|
|
|
|
|
this._destroyWindowDone(shellwm, actor);
|
|
|
|
|
}));
|
2010-09-10 21:30:50 -04:00
|
|
|
|
|
|
|
|
Tweener.addTween(actor,
|
2012-08-10 09:18:40 -04:00
|
|
|
{ scale_y: 0,
|
2010-09-10 21:30:50 -04:00
|
|
|
time: WINDOW_ANIMATION_TIME,
|
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
|
onComplete: this._destroyWindowDone,
|
|
|
|
|
onCompleteScope: this,
|
|
|
|
|
onCompleteParams: [shellwm, actor],
|
2010-09-15 07:52:20 -04:00
|
|
|
onOverwrite: this._destroyWindowDone,
|
2010-09-10 21:30:50 -04:00
|
|
|
onOverwriteScope: this,
|
|
|
|
|
onOverwriteParams: [shellwm, actor]
|
|
|
|
|
});
|
|
|
|
|
return;
|
|
|
|
|
}
|
2009-09-26 17:32:22 -04:00
|
|
|
shellwm.completed_destroy(actor);
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
2010-09-10 21:30:50 -04:00
|
|
|
|
2009-09-15 13:09:51 -04:00
|
|
|
_destroyWindowDone : function(shellwm, actor) {
|
2010-09-15 07:52:20 -04:00
|
|
|
if (this._removeEffect(this._destroying, actor)) {
|
|
|
|
|
let parent = actor.get_meta_window().get_transient_for();
|
|
|
|
|
if (parent && actor._parentDestroyId) {
|
|
|
|
|
parent.disconnect(actor._parentDestroyId);
|
|
|
|
|
actor._parentDestroyId = 0;
|
2010-09-10 21:30:50 -04:00
|
|
|
}
|
2010-09-15 07:52:20 -04:00
|
|
|
shellwm.completed_destroy(actor);
|
2010-09-10 21:30:50 -04:00
|
|
|
}
|
2008-12-28 23:44:03 -05:00
|
|
|
},
|
|
|
|
|
|
2012-08-20 04:38:13 -04:00
|
|
|
_filterKeybinding: function(shellwm, binding) {
|
2012-12-12 08:14:13 -05:00
|
|
|
if (Main.keybindingMode == Shell.KeyBindingMode.NONE)
|
2012-08-20 10:20:23 -04:00
|
|
|
return true;
|
2012-08-20 04:38:13 -04:00
|
|
|
|
2012-08-10 20:53:38 -04:00
|
|
|
// There's little sense in implementing a keybinding in mutter and
|
|
|
|
|
// not having it work in NORMAL mode; handle this case generically
|
|
|
|
|
// so we don't have to explicitly allow all builtin keybindings in
|
|
|
|
|
// NORMAL mode.
|
2012-12-12 08:14:13 -05:00
|
|
|
if (Main.keybindingMode == Shell.KeyBindingMode.NORMAL &&
|
2012-08-10 20:53:38 -04:00
|
|
|
binding.is_builtin())
|
2012-08-20 04:38:13 -04:00
|
|
|
return false;
|
|
|
|
|
|
2012-08-10 20:53:38 -04:00
|
|
|
return !(this._allowedKeybindings[binding.get_name()] & Main.keybindingMode);
|
2012-08-20 04:38:13 -04: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;
|
|
|
|
|
}
|
|
|
|
|
|
2010-10-19 14:55:43 -04:00
|
|
|
let windows = global.get_window_actors();
|
2009-09-15 13:09:51 -04:00
|
|
|
|
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)
|
2013-01-28 19:46:29 -05:00
|
|
|
yDest = global.screen_height - Main.panel.actor.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)
|
2013-01-28 19:46:29 -05:00
|
|
|
yDest = -global.screen_height + Main.panel.actor.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;
|
2013-02-22 06:23:56 -05:00
|
|
|
switchData.inGroup = new Clutter.Actor();
|
|
|
|
|
switchData.outGroup = new Clutter.Actor();
|
|
|
|
|
switchData.movingWindowBin = new Clutter.Actor();
|
2008-12-01 14:51:43 -05:00
|
|
|
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);
|
2012-06-26 14:11:44 -04:00
|
|
|
wgroup.add_actor(switchData.movingWindowBin);
|
2008-12-01 14:51:43 -05:00
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
|
2012-06-26 14:11:44 -04:00
|
|
|
if (this._movingWindow && window.meta_window == this._movingWindow) {
|
|
|
|
|
switchData.movingWindow = { window: window,
|
|
|
|
|
parent: window.get_parent() };
|
|
|
|
|
switchData.windows.push(switchData.movingWindow);
|
|
|
|
|
window.reparent(switchData.movingWindowBin);
|
|
|
|
|
} else if (window.get_workspace() == from) {
|
2008-12-01 14:51:43 -05:00
|
|
|
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);
|
2013-02-22 06:28:50 -05:00
|
|
|
window.show();
|
2008-12-01 14:51:43 -05:00
|
|
|
}
|
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();
|
|
|
|
|
|
2012-06-26 14:11:44 -04:00
|
|
|
switchData.movingWindowBin.raise_top();
|
|
|
|
|
|
2008-12-01 14:51:43 -05:00
|
|
|
Tweener.addTween(switchData.outGroup,
|
|
|
|
|
{ x: xDest,
|
|
|
|
|
y: yDest,
|
2009-05-13 15:24:32 -04:00
|
|
|
time: WINDOW_ANIMATION_TIME,
|
2010-05-13 15:46:04 -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,
|
2010-05-13 15:46:04 -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];
|
2011-01-18 13:25:00 -05:00
|
|
|
if (w.window.is_destroyed()) // Window gone
|
|
|
|
|
continue;
|
2008-12-01 14:51:43 -05:00
|
|
|
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();
|
2012-06-26 14:11:44 -04:00
|
|
|
switchData.movingWindowBin.destroy();
|
|
|
|
|
|
|
|
|
|
if (this._movingWindow)
|
|
|
|
|
this._movingWindow = null;
|
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
|
|
|
},
|
|
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
_startAppSwitcher : function(display, screen, window, binding) {
|
2010-02-12 17:52:15 -05:00
|
|
|
/* prevent a corner case where both popups show up at once */
|
|
|
|
|
if (this._workspaceSwitcherPopup != null)
|
2012-06-27 15:13:32 -04:00
|
|
|
this._workspaceSwitcherPopup.destroy();
|
2010-02-12 17:52:15 -05:00
|
|
|
|
2012-12-03 10:31:50 -05:00
|
|
|
let tabPopup = new AltTab.AppSwitcherPopup();
|
2008-11-21 16:34:10 -05:00
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
let modifiers = binding.get_modifiers();
|
|
|
|
|
let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK;
|
|
|
|
|
if (!tabPopup.show(backwards, binding.get_name(), binding.get_mask()))
|
2009-09-15 11:11:32 -04:00
|
|
|
tabPopup.destroy();
|
2010-02-12 17:52:15 -05:00
|
|
|
},
|
|
|
|
|
|
2012-11-22 21:20:10 -05:00
|
|
|
_startWindowSwitcher : function(display, screen, window, binding) {
|
|
|
|
|
/* prevent a corner case where both popups show up at once */
|
|
|
|
|
if (this._workspaceSwitcherPopup != null)
|
|
|
|
|
this._workspaceSwitcherPopup.destroy();
|
|
|
|
|
|
|
|
|
|
let tabPopup = new AltTab.WindowSwitcherPopup();
|
|
|
|
|
|
|
|
|
|
let modifiers = binding.get_modifiers();
|
|
|
|
|
let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK;
|
|
|
|
|
if (!tabPopup.show(backwards, binding.get_name(), binding.get_mask()))
|
|
|
|
|
tabPopup.destroy();
|
|
|
|
|
},
|
|
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
_startA11ySwitcher : function(display, screen, window, binding) {
|
|
|
|
|
let modifiers = binding.get_modifiers();
|
|
|
|
|
let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK;
|
2012-11-30 10:16:48 -05:00
|
|
|
Main.ctrlAltTabManager.popup(backwards, binding.get_name(), binding.get_mask());
|
2011-02-07 11:29:34 -05:00
|
|
|
},
|
|
|
|
|
|
2013-04-26 10:14:55 -04:00
|
|
|
_toggleAppMenu : function(display, screen, window, event, binding) {
|
|
|
|
|
Main.panel.toggleAppMenu();
|
2012-03-27 09:26:20 -04:00
|
|
|
},
|
|
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
_showWorkspaceSwitcher : function(display, screen, window, binding) {
|
|
|
|
|
if (screen.n_workspaces == 1)
|
2010-02-12 17:52:15 -05:00
|
|
|
return;
|
|
|
|
|
|
2013-05-17 10:54:23 -04:00
|
|
|
let [action,,,target] = binding.get_name().split('-');
|
2012-06-27 15:13:32 -04:00
|
|
|
let newWs;
|
2013-05-17 10:54:23 -04:00
|
|
|
let direction;
|
|
|
|
|
|
|
|
|
|
if (isNaN(target)) {
|
|
|
|
|
direction = Meta.MotionDirection[target.toUpperCase()];
|
|
|
|
|
newWs = screen.get_active_workspace().get_neighbor(direction);
|
|
|
|
|
} else if (target > 0) {
|
|
|
|
|
target--;
|
|
|
|
|
newWs = screen.get_workspace_by_index(target);
|
|
|
|
|
|
|
|
|
|
if (screen.get_active_workspace().index() > target)
|
|
|
|
|
direction = Meta.MotionDirection.UP;
|
|
|
|
|
else
|
|
|
|
|
direction = Meta.MotionDirection.DOWN;
|
|
|
|
|
}
|
2012-04-14 09:29:54 -04:00
|
|
|
|
2012-06-27 16:07:32 -04:00
|
|
|
if (direction != Meta.MotionDirection.UP &&
|
|
|
|
|
direction != Meta.MotionDirection.DOWN)
|
|
|
|
|
return;
|
|
|
|
|
|
2012-04-14 09:29:54 -04:00
|
|
|
if (action == 'switch')
|
2013-05-17 10:54:23 -04:00
|
|
|
this.actionMoveWorkspace(newWs);
|
2012-04-14 09:29:54 -04:00
|
|
|
else
|
2013-05-17 10:54:23 -04:00
|
|
|
this.actionMoveWindow(window, newWs);
|
2012-06-27 15:13:32 -04:00
|
|
|
|
|
|
|
|
if (!Main.overview.visible) {
|
|
|
|
|
if (this._workspaceSwitcherPopup == null) {
|
|
|
|
|
this._workspaceSwitcherPopup = new WorkspaceSwitcherPopup.WorkspaceSwitcherPopup();
|
|
|
|
|
this._workspaceSwitcherPopup.connect('destroy', Lang.bind(this, function() {
|
|
|
|
|
this._workspaceSwitcherPopup = null;
|
|
|
|
|
}));
|
|
|
|
|
}
|
|
|
|
|
this._workspaceSwitcherPopup.display(direction, newWs.index());
|
|
|
|
|
}
|
2010-03-16 22:08:52 -04:00
|
|
|
},
|
|
|
|
|
|
2013-05-17 10:54:23 -04:00
|
|
|
actionMoveWorkspace: function(workspace) {
|
2012-04-14 08:40:30 -04:00
|
|
|
let activeWorkspace = global.screen.get_active_workspace();
|
2010-11-12 10:22:05 -05:00
|
|
|
|
2013-05-17 10:54:23 -04:00
|
|
|
if (activeWorkspace != workspace)
|
|
|
|
|
workspace.activate(global.get_current_time());
|
2012-06-27 15:13:32 -04:00
|
|
|
|
2011-01-30 18:21:31 -05:00
|
|
|
},
|
2012-04-14 09:29:54 -04:00
|
|
|
|
2013-05-17 10:54:23 -04:00
|
|
|
actionMoveWindow: function(window, workspace) {
|
2012-04-14 09:29:54 -04:00
|
|
|
let activeWorkspace = global.screen.get_active_workspace();
|
|
|
|
|
|
2013-05-17 10:54:23 -04:00
|
|
|
if (activeWorkspace != workspace) {
|
2012-04-14 09:29:54 -04:00
|
|
|
// This won't have any effect for "always sticky" windows
|
|
|
|
|
// (like desktop windows or docks)
|
2012-06-26 14:11:44 -04:00
|
|
|
|
|
|
|
|
this._movingWindow = window;
|
2013-05-17 10:54:23 -04:00
|
|
|
window.change_workspace(workspace);
|
2012-04-14 09:29:54 -04:00
|
|
|
|
|
|
|
|
global.display.clear_mouse_mode();
|
2013-05-17 10:54:23 -04:00
|
|
|
workspace.activate_with_focus (window, global.get_current_time());
|
2012-04-14 09:29:54 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
},
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|
