2011-09-28 13:16:26 +00:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2008-10-31 23:09:46 +00:00
|
|
|
|
2019-02-09 03:21:36 +00:00
|
|
|
const { Clutter, GLib, Meta, Shell, St } = imports.gi;
|
2009-02-02 23:02:16 +00:00
|
|
|
const Mainloop = imports.mainloop;
|
|
|
|
const Signals = imports.signals;
|
|
|
|
|
2012-12-24 14:20:39 +00:00
|
|
|
const Background = imports.ui.background;
|
2011-01-05 14:47:27 +00:00
|
|
|
const DND = imports.ui.dnd;
|
2013-03-01 23:00:59 +00:00
|
|
|
const LayoutManager = imports.ui.layout;
|
2014-03-06 15:17:36 +00:00
|
|
|
const Lightbox = imports.ui.lightbox;
|
2009-02-02 23:02:16 +00:00
|
|
|
const Main = imports.ui.main;
|
2010-07-22 15:49:43 +00:00
|
|
|
const MessageTray = imports.ui.messageTray;
|
2012-12-11 22:26:09 +00:00
|
|
|
const OverviewControls = imports.ui.overviewControls;
|
2011-08-28 14:24:48 +00:00
|
|
|
const Params = imports.misc.params;
|
2009-02-10 16:12:58 +00:00
|
|
|
const Tweener = imports.ui.tweener;
|
2013-04-22 21:56:34 +00:00
|
|
|
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
|
2008-10-31 23:09:46 +00:00
|
|
|
|
2009-08-11 11:46:10 +00:00
|
|
|
// Time for initial animation going into Overview mode
|
2017-07-18 17:47:27 +00:00
|
|
|
var ANIMATION_TIME = 0.25;
|
2008-11-06 14:00:14 +00:00
|
|
|
|
2012-12-24 14:20:39 +00:00
|
|
|
// Must be less than ANIMATION_TIME, since we switch to
|
|
|
|
// or from the overview completely after ANIMATION_TIME,
|
|
|
|
// and don't want the shading animation to get cut off
|
2017-07-18 17:47:27 +00:00
|
|
|
var SHADE_ANIMATION_TIME = .20;
|
2011-01-05 14:47:27 +00:00
|
|
|
|
2017-07-18 17:47:27 +00:00
|
|
|
var DND_WINDOW_SWITCH_TIMEOUT = 750;
|
2012-08-30 00:22:39 +00:00
|
|
|
|
2017-07-18 17:47:27 +00:00
|
|
|
var OVERVIEW_ACTIVATION_TIMEOUT = 0.5;
|
2013-03-01 21:00:37 +00:00
|
|
|
|
2017-10-31 01:19:44 +00:00
|
|
|
var ShellInfo = class {
|
|
|
|
constructor() {
|
2010-07-22 15:49:43 +00:00
|
|
|
this._source = null;
|
2010-02-08 22:50:50 +00:00
|
|
|
this._undoCallback = null;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2010-02-08 22:50:50 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onUndoClicked() {
|
2010-02-08 22:50:50 +00:00
|
|
|
if (this._undoCallback)
|
|
|
|
this._undoCallback();
|
|
|
|
this._undoCallback = null;
|
|
|
|
|
2010-07-22 15:49:43 +00:00
|
|
|
if (this._source)
|
|
|
|
this._source.destroy();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2010-02-08 22:50:50 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
setMessage(text, options) {
|
2012-11-02 17:06:40 +00:00
|
|
|
options = Params.parse(options, { undoCallback: null,
|
|
|
|
forFeedback: false
|
|
|
|
});
|
|
|
|
|
|
|
|
let undoCallback = options.undoCallback;
|
|
|
|
let forFeedback = options.forFeedback;
|
|
|
|
|
2010-07-22 15:49:43 +00:00
|
|
|
if (this._source == null) {
|
2010-11-30 15:47:28 +00:00
|
|
|
this._source = new MessageTray.SystemNotificationSource();
|
2017-10-31 00:38:18 +00:00
|
|
|
this._source.connect('destroy', () => {
|
|
|
|
this._source = null;
|
|
|
|
});
|
2010-07-22 15:49:43 +00:00
|
|
|
Main.messageTray.add(this._source);
|
|
|
|
}
|
2010-02-08 22:50:50 +00:00
|
|
|
|
2011-03-21 21:43:34 +00:00
|
|
|
let notification = null;
|
|
|
|
if (this._source.notifications.length == 0) {
|
2010-07-22 15:49:43 +00:00
|
|
|
notification = new MessageTray.Notification(this._source, text, null);
|
2012-08-20 14:14:22 +00:00
|
|
|
notification.setTransient(true);
|
2012-11-02 17:06:40 +00:00
|
|
|
notification.setForFeedback(forFeedback);
|
2011-03-21 21:43:34 +00:00
|
|
|
} else {
|
|
|
|
notification = this._source.notifications[0];
|
2010-07-22 15:49:43 +00:00
|
|
|
notification.update(text, null, { clear: true });
|
2011-03-21 21:43:34 +00:00
|
|
|
}
|
2010-03-10 14:14:56 +00:00
|
|
|
|
2010-02-08 22:50:50 +00:00
|
|
|
this._undoCallback = undoCallback;
|
2013-10-14 03:06:09 +00:00
|
|
|
if (undoCallback)
|
2017-12-02 00:27:35 +00:00
|
|
|
notification.addAction(_("Undo"), this._onUndoClicked.bind(this));
|
2010-07-22 15:49:43 +00:00
|
|
|
|
|
|
|
this._source.notify(notification);
|
2010-02-08 22:50:50 +00:00
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
};
|
2010-02-08 22:50:50 +00:00
|
|
|
|
2017-10-31 01:19:44 +00:00
|
|
|
var Overview = class {
|
|
|
|
constructor() {
|
2012-09-01 12:42:53 +00:00
|
|
|
this._overviewCreated = false;
|
2012-11-29 16:58:31 +00:00
|
|
|
this._initCalled = false;
|
2012-09-01 12:42:53 +00:00
|
|
|
|
2017-12-02 00:27:35 +00:00
|
|
|
Main.sessionMode.connect('updated', this._sessionUpdated.bind(this));
|
2012-09-01 12:42:53 +00:00
|
|
|
this._sessionUpdated();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-08-28 14:24:48 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_createOverview() {
|
2012-09-01 12:42:53 +00:00
|
|
|
if (this._overviewCreated)
|
2011-08-28 14:24:48 +00:00
|
|
|
return;
|
2012-09-01 12:42:53 +00:00
|
|
|
|
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
|
|
|
this._overviewCreated = true;
|
2011-08-28 14:24:48 +00:00
|
|
|
|
2012-12-10 20:39:15 +00:00
|
|
|
this._overview = new St.BoxLayout({ name: 'overview',
|
2017-01-28 01:01:14 +00:00
|
|
|
/* Translators: This is the main view to select
|
|
|
|
activities. See also note for "Activities" string. */
|
2012-12-10 20:39:15 +00:00
|
|
|
accessible_name: _("Overview"),
|
2016-06-24 13:45:03 +00:00
|
|
|
vertical: true });
|
|
|
|
this._overview.add_constraint(new LayoutManager.MonitorConstraint({ primary: true }));
|
2012-12-10 20:39:15 +00:00
|
|
|
this._overview._delegate = this;
|
|
|
|
|
2015-07-16 13:14:50 +00:00
|
|
|
// The main Background actors are inside global.window_group which are
|
|
|
|
// hidden when displaying the overview, so we create a new
|
|
|
|
// one. Instances of this class share a single CoglTexture behind the
|
|
|
|
// scenes which allows us to show the background with different
|
|
|
|
// rendering options without duplicating the texture data.
|
2016-05-26 16:20:25 +00:00
|
|
|
this._backgroundGroup = new Meta.BackgroundGroup({ reactive: true });
|
2013-05-21 20:15:01 +00:00
|
|
|
Main.layoutManager.overviewGroup.add_child(this._backgroundGroup);
|
2012-12-24 14:20:39 +00:00
|
|
|
this._bgManagers = [];
|
|
|
|
|
2014-01-24 22:05:46 +00:00
|
|
|
this._desktopFade = new St.Widget();
|
2013-11-14 15:34:59 +00:00
|
|
|
Main.layoutManager.overviewGroup.add_child(this._desktopFade);
|
|
|
|
|
2013-03-01 21:00:37 +00:00
|
|
|
this._activationTime = 0;
|
|
|
|
|
2011-01-05 14:39:36 +00:00
|
|
|
this.visible = false; // animating to overview, in overview, animating out
|
|
|
|
this._shown = false; // show() and not hide()
|
|
|
|
this._modal = false; // have a modal grab
|
2009-08-07 22:22:05 +00:00
|
|
|
this.animationInProgress = false;
|
2013-02-16 17:45:10 +00:00
|
|
|
this.visibleTarget = false;
|
2009-06-24 22:24:48 +00:00
|
|
|
|
2009-09-13 18:54:56 +00:00
|
|
|
// During transitions, we raise this to the top to avoid having the overview
|
|
|
|
// area be reactive; it causes too many issues such as double clicks on
|
|
|
|
// Dash elements, or mouseover handlers in the workspaces.
|
2013-05-09 01:53:20 +00:00
|
|
|
this._coverPane = new Clutter.Actor({ opacity: 0,
|
|
|
|
reactive: true });
|
2013-09-29 21:20:27 +00:00
|
|
|
Main.layoutManager.overviewGroup.add_child(this._coverPane);
|
2017-10-31 00:38:18 +00:00
|
|
|
this._coverPane.connect('event', () => Clutter.EVENT_STOP);
|
2009-09-13 18:54:56 +00:00
|
|
|
|
2016-06-24 13:45:03 +00:00
|
|
|
Main.layoutManager.overviewGroup.add_child(this._overview);
|
2009-06-24 22:24:48 +00:00
|
|
|
|
2011-02-11 22:53:27 +00:00
|
|
|
this._coverPane.hide();
|
|
|
|
|
|
|
|
// XDND
|
|
|
|
this._dragMonitor = {
|
2017-12-02 00:27:35 +00:00
|
|
|
dragMotion: this._onDragMotion.bind(this)
|
2011-02-11 22:53:27 +00:00
|
|
|
};
|
|
|
|
|
2016-07-02 09:16:22 +00:00
|
|
|
|
|
|
|
Main.layoutManager.overviewGroup.connect('scroll-event',
|
2017-12-02 00:27:35 +00:00
|
|
|
this._onScrollEvent.bind(this));
|
|
|
|
Main.xdndHandler.connect('drag-begin', this._onDragBegin.bind(this));
|
|
|
|
Main.xdndHandler.connect('drag-end', this._onDragEnd.bind(this));
|
2011-02-11 22:53:27 +00:00
|
|
|
|
2018-01-03 07:55:38 +00:00
|
|
|
global.display.connect('restacked', this._onRestacked.bind(this));
|
2012-12-13 16:00:30 +00:00
|
|
|
|
2011-02-11 22:53:27 +00:00
|
|
|
this._windowSwitchTimeoutId = 0;
|
|
|
|
this._windowSwitchTimestamp = 0;
|
|
|
|
this._lastActiveWorkspaceIndex = -1;
|
|
|
|
this._lastHoveredWindow = null;
|
2012-11-29 16:58:31 +00:00
|
|
|
|
|
|
|
if (this._initCalled)
|
|
|
|
this.init();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-02-11 22:53:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_updateBackgrounds() {
|
2012-12-24 14:20:39 +00:00
|
|
|
for (let i = 0; i < this._bgManagers.length; i++)
|
|
|
|
this._bgManagers[i].destroy();
|
|
|
|
|
|
|
|
this._bgManagers = [];
|
|
|
|
|
|
|
|
for (let i = 0; i < Main.layoutManager.monitors.length; i++) {
|
|
|
|
let bgManager = new Background.BackgroundManager({ container: this._backgroundGroup,
|
|
|
|
monitorIndex: i,
|
2014-08-11 16:15:45 +00:00
|
|
|
vignette: true });
|
2012-12-24 14:20:39 +00:00
|
|
|
this._bgManagers.push(bgManager);
|
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-12-24 14:20:39 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_unshadeBackgrounds() {
|
2012-12-24 14:20:39 +00:00
|
|
|
let backgrounds = this._backgroundGroup.get_children();
|
|
|
|
for (let i = 0; i < backgrounds.length; i++) {
|
2014-08-11 16:15:45 +00:00
|
|
|
Tweener.addTween(backgrounds[i],
|
2012-12-24 14:20:39 +00:00
|
|
|
{ brightness: 1.0,
|
2014-08-11 16:15:45 +00:00
|
|
|
vignette_sharpness: 0.0,
|
2012-12-24 14:20:39 +00:00
|
|
|
time: SHADE_ANIMATION_TIME,
|
|
|
|
transition: 'easeOutQuad'
|
|
|
|
});
|
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-12-24 14:20:39 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_shadeBackgrounds() {
|
2012-12-24 14:20:39 +00:00
|
|
|
let backgrounds = this._backgroundGroup.get_children();
|
|
|
|
for (let i = 0; i < backgrounds.length; i++) {
|
2014-08-11 16:15:45 +00:00
|
|
|
Tweener.addTween(backgrounds[i],
|
2014-03-06 15:17:36 +00:00
|
|
|
{ brightness: Lightbox.VIGNETTE_BRIGHTNESS,
|
2014-08-11 16:15:45 +00:00
|
|
|
vignette_sharpness: Lightbox.VIGNETTE_SHARPNESS,
|
2012-12-24 14:20:39 +00:00
|
|
|
time: SHADE_ANIMATION_TIME,
|
|
|
|
transition: 'easeOutQuad'
|
|
|
|
});
|
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-12-24 14:20:39 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_sessionUpdated() {
|
2012-09-01 12:42:53 +00:00
|
|
|
this.isDummy = !Main.sessionMode.hasOverview;
|
|
|
|
this._createOverview();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-09-01 12:42:53 +00:00
|
|
|
|
2011-02-11 22:53:27 +00:00
|
|
|
// The members we construct that are implemented in JS might
|
|
|
|
// want to access the overview as Main.overview to connect
|
|
|
|
// signal handlers and so forth. So we create them after
|
|
|
|
// construction in this init() method.
|
2017-10-31 00:03:21 +00:00
|
|
|
init() {
|
2012-11-29 16:58:31 +00:00
|
|
|
this._initCalled = true;
|
|
|
|
|
2011-08-28 14:24:48 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
2011-08-28 14:07:44 +00:00
|
|
|
this._shellInfo = new ShellInfo();
|
2011-02-11 22:53:27 +00:00
|
|
|
|
2012-12-10 20:39:15 +00:00
|
|
|
// Add a clone of the panel to the overview so spacing and such is
|
|
|
|
// automatic
|
2018-06-27 19:02:15 +00:00
|
|
|
this._panelGhost = new St.Bin({ child: new Clutter.Clone({ source: Main.panel }),
|
2012-12-10 20:39:15 +00:00
|
|
|
reactive: false,
|
|
|
|
opacity: 0 });
|
|
|
|
this._overview.add_actor(this._panelGhost);
|
|
|
|
|
2014-08-01 08:56:50 +00:00
|
|
|
this._searchEntry = new St.Entry({ style_class: 'search-entry',
|
2012-07-28 20:47:55 +00:00
|
|
|
/* Translators: this is the text displayed
|
|
|
|
in the search entry when no search is
|
|
|
|
active; it should not exceed ~30
|
|
|
|
characters. */
|
2012-12-03 15:59:28 +00:00
|
|
|
hint_text: _("Type to search…"),
|
2012-07-28 20:47:55 +00:00
|
|
|
track_hover: true,
|
|
|
|
can_focus: true });
|
2012-12-10 20:39:15 +00:00
|
|
|
this._searchEntryBin = new St.Bin({ child: this._searchEntry,
|
|
|
|
x_align: St.Align.MIDDLE });
|
|
|
|
this._overview.add_actor(this._searchEntryBin);
|
2012-07-28 20:47:55 +00:00
|
|
|
|
2013-02-15 23:25:36 +00:00
|
|
|
// Create controls
|
2013-02-25 23:05:45 +00:00
|
|
|
this._controls = new OverviewControls.ControlsManager(this._searchEntry);
|
|
|
|
this._dash = this._controls.dash;
|
2011-07-09 13:30:42 +00:00
|
|
|
this.viewSelector = this._controls.viewSelector;
|
2012-12-11 22:26:09 +00:00
|
|
|
|
2012-12-10 20:39:15 +00:00
|
|
|
// Add our same-line elements after the search entry
|
2013-02-25 23:05:45 +00:00
|
|
|
this._overview.add(this._controls.actor, { y_fill: true, expand: true });
|
2012-12-10 20:39:15 +00:00
|
|
|
|
2013-02-15 23:25:36 +00:00
|
|
|
// TODO - recalculate everything when desktop size changes
|
|
|
|
this.dashIconSize = this._dash.iconSize;
|
2017-10-31 00:38:18 +00:00
|
|
|
this._dash.connect('icon-size-changed', () => {
|
|
|
|
this.dashIconSize = this._dash.iconSize;
|
|
|
|
});
|
2013-01-24 21:34:06 +00:00
|
|
|
|
2017-12-02 00:27:35 +00:00
|
|
|
Main.layoutManager.connect('monitors-changed', this._relayout.bind(this));
|
2011-06-13 13:54:05 +00:00
|
|
|
this._relayout();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2009-06-24 22:24:48 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
addSearchProvider(provider) {
|
2011-07-09 13:30:42 +00:00
|
|
|
this.viewSelector.addSearchProvider(provider);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-08-28 11:20:37 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
removeSearchProvider(provider) {
|
2011-07-09 13:30:42 +00:00
|
|
|
this.viewSelector.removeSearchProvider(provider);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-09-03 10:01:33 +00:00
|
|
|
|
2012-11-02 17:06:40 +00:00
|
|
|
//
|
|
|
|
// options:
|
|
|
|
// - undoCallback (function): the callback to be called if undo support is needed
|
|
|
|
// - forFeedback (boolean): whether the message is for direct feedback of a user action
|
|
|
|
//
|
2017-10-31 00:03:21 +00:00
|
|
|
setMessage(text, options) {
|
2011-08-28 14:24:48 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
2012-11-02 17:06:40 +00:00
|
|
|
this._shellInfo.setMessage(text, options);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-08-28 14:07:44 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onDragBegin() {
|
2013-03-04 22:02:02 +00:00
|
|
|
this._inXdndDrag = true;
|
|
|
|
|
2011-01-05 14:47:27 +00:00
|
|
|
DND.addDragMonitor(this._dragMonitor);
|
|
|
|
// Remember the workspace we started from
|
2018-01-03 07:55:38 +00:00
|
|
|
let workspaceManager = global.workspace_manager;
|
|
|
|
this._lastActiveWorkspaceIndex = workspaceManager.get_active_workspace_index();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-01-05 14:47:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onDragEnd(time) {
|
2013-03-04 22:02:02 +00:00
|
|
|
this._inXdndDrag = false;
|
|
|
|
|
2011-01-05 14:47:27 +00:00
|
|
|
// In case the drag was canceled while in the overview
|
|
|
|
// we have to go back to where we started and hide
|
|
|
|
// the overview
|
2013-03-04 22:02:02 +00:00
|
|
|
if (this._shown) {
|
2018-01-03 07:55:38 +00:00
|
|
|
let workspaceManager = global.workspace_manager;
|
|
|
|
workspaceManager.get_workspace_by_index(this._lastActiveWorkspaceIndex).activate(time);
|
2013-03-04 22:02:02 +00:00
|
|
|
this.hide();
|
2011-01-05 14:47:27 +00:00
|
|
|
}
|
2011-02-24 10:30:46 +00:00
|
|
|
this._resetWindowSwitchTimeout();
|
2011-01-07 10:12:00 +00:00
|
|
|
this._lastHoveredWindow = null;
|
2011-06-27 16:59:56 +00:00
|
|
|
DND.removeDragMonitor(this._dragMonitor);
|
2011-03-13 18:34:47 +00:00
|
|
|
this.endItemDrag();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-01-05 14:47:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_resetWindowSwitchTimeout() {
|
2011-02-24 10:30:46 +00:00
|
|
|
if (this._windowSwitchTimeoutId != 0) {
|
|
|
|
Mainloop.source_remove(this._windowSwitchTimeoutId);
|
|
|
|
this._windowSwitchTimeoutId = 0;
|
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-02-24 10:30:46 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onDragMotion(dragEvent) {
|
2011-01-07 10:12:00 +00:00
|
|
|
let targetIsWindow = dragEvent.targetActor &&
|
|
|
|
dragEvent.targetActor._delegate &&
|
2011-03-21 22:20:36 +00:00
|
|
|
dragEvent.targetActor._delegate.metaWindow &&
|
|
|
|
!(dragEvent.targetActor._delegate instanceof WorkspaceThumbnail.WindowClone);
|
2011-01-07 10:12:00 +00:00
|
|
|
|
2011-02-24 10:25:29 +00:00
|
|
|
this._windowSwitchTimestamp = global.get_current_time();
|
|
|
|
|
2011-01-07 10:12:00 +00:00
|
|
|
if (targetIsWindow &&
|
|
|
|
dragEvent.targetActor._delegate.metaWindow == this._lastHoveredWindow)
|
2011-01-20 15:46:55 +00:00
|
|
|
return DND.DragMotionResult.CONTINUE;
|
|
|
|
|
|
|
|
this._lastHoveredWindow = null;
|
2011-01-07 10:12:00 +00:00
|
|
|
|
2011-02-24 10:30:46 +00:00
|
|
|
this._resetWindowSwitchTimeout();
|
2011-01-05 14:47:27 +00:00
|
|
|
|
2011-01-07 10:12:00 +00:00
|
|
|
if (targetIsWindow) {
|
|
|
|
this._lastHoveredWindow = dragEvent.targetActor._delegate.metaWindow;
|
2011-01-05 14:47:27 +00:00
|
|
|
this._windowSwitchTimeoutId = Mainloop.timeout_add(DND_WINDOW_SWITCH_TIMEOUT,
|
2017-10-31 00:38:18 +00:00
|
|
|
() => {
|
|
|
|
this._windowSwitchTimeoutId = 0;
|
|
|
|
Main.activateWindow(dragEvent.targetActor._delegate.metaWindow,
|
|
|
|
this._windowSwitchTimestamp);
|
|
|
|
this.hide();
|
|
|
|
this._lastHoveredWindow = null;
|
|
|
|
return GLib.SOURCE_REMOVE;
|
|
|
|
});
|
2014-04-10 17:26:52 +00:00
|
|
|
GLib.Source.set_name_by_id(this._windowSwitchTimeoutId, '[gnome-shell] Main.activateWindow');
|
2011-01-05 14:47:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return DND.DragMotionResult.CONTINUE;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-01-05 14:47:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onScrollEvent(actor, event) {
|
2012-10-22 15:39:19 +00:00
|
|
|
this.emit('scroll-event', event);
|
2013-11-29 18:17:34 +00:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-10-22 15:39:19 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
addAction(action) {
|
2012-11-26 04:40:48 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
2016-05-26 16:20:25 +00:00
|
|
|
this._backgroundGroup.add_action(action);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-11-26 04:40:48 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_getDesktopClone() {
|
2017-10-31 00:38:18 +00:00
|
|
|
let windows = global.get_window_actors().filter(
|
|
|
|
w => w.meta_window.get_window_type() == Meta.WindowType.DESKTOP
|
|
|
|
);
|
2010-07-15 14:21:32 +00:00
|
|
|
if (windows.length == 0)
|
|
|
|
return null;
|
|
|
|
|
2012-10-04 18:01:03 +00:00
|
|
|
let window = windows[0];
|
2017-02-01 18:01:47 +00:00
|
|
|
let clone = new Clutter.Clone({ source: window,
|
2012-10-04 18:01:03 +00:00
|
|
|
x: window.x, y: window.y });
|
2017-10-31 00:38:18 +00:00
|
|
|
clone.source.connect('destroy', () => {
|
2010-07-15 14:21:32 +00:00
|
|
|
clone.destroy();
|
2017-10-31 00:38:18 +00:00
|
|
|
});
|
2010-07-15 14:21:32 +00:00
|
|
|
return clone;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2010-07-15 14:21:32 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_relayout() {
|
2011-06-13 13:54:05 +00:00
|
|
|
// To avoid updating the position and size of the workspaces
|
|
|
|
// we just hide the overview. The positions will be updated
|
|
|
|
// when it is next shown.
|
|
|
|
this.hide();
|
|
|
|
|
2018-07-24 12:45:03 +00:00
|
|
|
this._coverPane.set_position(0, 0);
|
|
|
|
this._coverPane.set_size(global.screen_width, global.screen_height);
|
2012-12-24 14:20:39 +00:00
|
|
|
|
|
|
|
this._updateBackgrounds();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_onRestacked() {
|
2012-12-13 16:00:30 +00:00
|
|
|
let stack = global.get_window_actors();
|
|
|
|
let stackIndices = {};
|
|
|
|
|
|
|
|
for (let i = 0; i < stack.length; i++) {
|
|
|
|
// Use the stable sequence for an integer to use as a hash key
|
|
|
|
stackIndices[stack[i].get_meta_window().get_stable_sequence()] = i;
|
|
|
|
}
|
|
|
|
|
|
|
|
this.emit('windows-restacked', stackIndices);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-12-13 16:00:30 +00:00
|
|
|
|
2019-01-31 14:08:10 +00:00
|
|
|
beginItemDrag(_source) {
|
2010-05-08 14:06:28 +00:00
|
|
|
this.emit('item-drag-begin');
|
2017-11-16 16:27:12 +00:00
|
|
|
this._inItemDrag = true;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2009-03-11 19:21:45 +00:00
|
|
|
|
2019-01-31 14:08:10 +00:00
|
|
|
cancelledItemDrag(_source) {
|
2011-03-09 15:40:48 +00:00
|
|
|
this.emit('item-drag-cancelled');
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-03-09 15:40:48 +00:00
|
|
|
|
2019-01-31 14:08:10 +00:00
|
|
|
endItemDrag(_source) {
|
2017-11-16 16:27:12 +00:00
|
|
|
if (!this._inItemDrag)
|
|
|
|
return;
|
2010-05-08 14:06:28 +00:00
|
|
|
this.emit('item-drag-end');
|
2017-11-16 16:27:12 +00:00
|
|
|
this._inItemDrag = false;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2009-03-11 19:21:45 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
beginWindowDrag(window) {
|
2014-09-03 19:55:05 +00:00
|
|
|
this.emit('window-drag-begin', window);
|
2017-11-16 16:27:12 +00:00
|
|
|
this._inWindowDrag = true;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2010-11-15 20:58:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
cancelledWindowDrag(window) {
|
2014-09-03 19:55:05 +00:00
|
|
|
this.emit('window-drag-cancelled', window);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-03-08 13:44:47 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
endWindowDrag(window) {
|
2017-11-16 16:27:12 +00:00
|
|
|
if (!this._inWindowDrag)
|
|
|
|
return;
|
2014-09-03 19:55:05 +00:00
|
|
|
this.emit('window-drag-end', window);
|
2017-11-16 16:27:12 +00:00
|
|
|
this._inWindowDrag = false;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2010-11-15 20:58:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
focusSearch() {
|
2013-05-17 15:31:27 +00:00
|
|
|
this.show();
|
|
|
|
this._searchEntry.grab_key_focus();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2013-05-17 15:31:27 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
fadeInDesktop() {
|
2019-01-29 19:36:54 +00:00
|
|
|
this._desktopFade.opacity = 0;
|
|
|
|
this._desktopFade.show();
|
|
|
|
Tweener.addTween(this._desktopFade,
|
|
|
|
{ opacity: 255,
|
|
|
|
time: ANIMATION_TIME,
|
|
|
|
transition: 'easeOutQuad' });
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-07-28 20:06:46 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
fadeOutDesktop() {
|
2014-02-03 10:26:19 +00:00
|
|
|
if (!this._desktopFade.get_n_children()) {
|
|
|
|
let clone = this._getDesktopClone();
|
|
|
|
if (!clone)
|
|
|
|
return;
|
|
|
|
|
|
|
|
this._desktopFade.add_child(clone);
|
|
|
|
}
|
2012-07-28 20:06:46 +00:00
|
|
|
|
|
|
|
this._desktopFade.opacity = 255;
|
|
|
|
this._desktopFade.show();
|
|
|
|
Tweener.addTween(this._desktopFade,
|
|
|
|
{ opacity: 0,
|
|
|
|
time: ANIMATION_TIME,
|
|
|
|
transition: 'easeOutQuad'
|
|
|
|
});
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2012-07-28 20:06:46 +00:00
|
|
|
|
2014-07-03 13:33:09 +00:00
|
|
|
// Checks if the Activities button is currently sensitive to
|
|
|
|
// clicks. The first call to this function within the
|
|
|
|
// OVERVIEW_ACTIVATION_TIMEOUT time of the hot corner being
|
|
|
|
// triggered will return false. This avoids opening and closing
|
|
|
|
// the overview if the user both triggered the hot corner and
|
|
|
|
// clicked the Activities button.
|
2017-10-31 00:03:21 +00:00
|
|
|
shouldToggleByCornerOrButton() {
|
2014-07-03 13:33:09 +00:00
|
|
|
if (this.animationInProgress)
|
|
|
|
return false;
|
2017-11-16 16:27:12 +00:00
|
|
|
if (this._inItemDrag || this._inWindowDrag)
|
2014-07-03 13:33:09 +00:00
|
|
|
return false;
|
2018-01-15 14:36:44 +00:00
|
|
|
if (this._activationTime == 0 ||
|
|
|
|
GLib.get_monotonic_time() / GLib.USEC_PER_SEC - this._activationTime > OVERVIEW_ACTIVATION_TIMEOUT)
|
2014-07-03 13:33:09 +00:00
|
|
|
return true;
|
|
|
|
return false;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_syncGrab() {
|
2014-07-03 13:33:09 +00:00
|
|
|
// We delay grab changes during animation so that when removing the
|
|
|
|
// overview we don't have a problem with the release of a press/release
|
|
|
|
// going to an application.
|
|
|
|
if (this.animationInProgress)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (this._shown) {
|
|
|
|
let shouldBeModal = !this._inXdndDrag;
|
|
|
|
if (shouldBeModal) {
|
|
|
|
if (!this._modal) {
|
|
|
|
if (Main.pushModal(this._overview,
|
2014-12-11 14:35:40 +00:00
|
|
|
{ actionMode: Shell.ActionMode.OVERVIEW })) {
|
2014-07-03 13:33:09 +00:00
|
|
|
this._modal = true;
|
|
|
|
} else {
|
|
|
|
this.hide();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if (this._modal) {
|
|
|
|
Main.popModal(this._overview);
|
|
|
|
this._modal = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
|
|
|
// show:
|
|
|
|
//
|
|
|
|
// Animates the overview visible and grabs mouse and keyboard input
|
2017-10-31 00:03:21 +00:00
|
|
|
show() {
|
2014-07-03 13:33:09 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
if (this._shown)
|
|
|
|
return;
|
|
|
|
this._shown = true;
|
|
|
|
|
|
|
|
if (!this._syncGrab())
|
|
|
|
return;
|
|
|
|
|
|
|
|
Main.layoutManager.showOverview();
|
|
|
|
this._animateVisible();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_animateVisible() {
|
2011-01-05 14:39:36 +00:00
|
|
|
if (this.visible || this.animationInProgress)
|
|
|
|
return;
|
2008-11-28 20:12:20 +00:00
|
|
|
|
2008-12-01 19:51:43 +00:00
|
|
|
this.visible = true;
|
2009-08-07 22:22:05 +00:00
|
|
|
this.animationInProgress = true;
|
2013-02-16 17:45:10 +00:00
|
|
|
this.visibleTarget = true;
|
2018-01-15 14:36:44 +00:00
|
|
|
this._activationTime = GLib.get_monotonic_time() / GLib.USEC_PER_SEC;
|
2008-11-28 20:12:20 +00:00
|
|
|
|
2018-01-03 07:55:38 +00:00
|
|
|
Meta.disable_unredirect_for_display(global.display);
|
2011-07-09 13:30:42 +00:00
|
|
|
this.viewSelector.show();
|
2010-07-15 14:21:32 +00:00
|
|
|
|
2016-06-24 13:45:03 +00:00
|
|
|
this._overview.opacity = 0;
|
|
|
|
Tweener.addTween(this._overview,
|
2009-08-10 22:31:39 +00:00
|
|
|
{ opacity: 255,
|
|
|
|
transition: 'easeOutQuad',
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
time: ANIMATION_TIME,
|
|
|
|
onComplete: this._showDone,
|
|
|
|
onCompleteScope: this
|
2009-03-20 16:06:34 +00:00
|
|
|
});
|
2012-12-24 14:20:39 +00:00
|
|
|
this._shadeBackgrounds();
|
2011-08-29 01:41:28 +00:00
|
|
|
|
2009-09-13 18:54:56 +00:00
|
|
|
this._coverPane.raise_top();
|
2011-01-21 13:08:42 +00:00
|
|
|
this._coverPane.show();
|
2009-05-07 13:47:48 +00:00
|
|
|
this.emit('showing');
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_showDone() {
|
2014-07-03 13:33:09 +00:00
|
|
|
this.animationInProgress = false;
|
|
|
|
this._desktopFade.hide();
|
|
|
|
this._coverPane.hide();
|
|
|
|
|
|
|
|
this.emit('shown');
|
|
|
|
// Handle any calls to hide* while we were showing
|
|
|
|
if (!this._shown)
|
|
|
|
this._animateNotVisible();
|
|
|
|
|
|
|
|
this._syncGrab();
|
|
|
|
global.sync_pointer();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
2011-01-05 14:39:36 +00:00
|
|
|
// hide:
|
|
|
|
//
|
|
|
|
// Reverses the effect of show()
|
2017-10-31 00:03:21 +00:00
|
|
|
hide() {
|
2011-08-28 14:24:48 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
2011-01-05 14:39:36 +00:00
|
|
|
if (!this._shown)
|
|
|
|
return;
|
|
|
|
|
2013-03-04 22:54:02 +00:00
|
|
|
let event = Clutter.get_current_event();
|
2013-03-14 15:34:09 +00:00
|
|
|
if (event) {
|
|
|
|
let type = event.type();
|
|
|
|
let button = (type == Clutter.EventType.BUTTON_PRESS ||
|
|
|
|
type == Clutter.EventType.BUTTON_RELEASE);
|
|
|
|
let ctrl = (event.get_state() & Clutter.ModifierType.CONTROL_MASK) != 0;
|
|
|
|
if (button && ctrl)
|
|
|
|
return;
|
|
|
|
}
|
2013-02-21 14:57:00 +00:00
|
|
|
|
2011-01-05 14:39:36 +00:00
|
|
|
this._shown = false;
|
2014-11-27 02:05:36 +00:00
|
|
|
|
|
|
|
this._animateNotVisible();
|
2013-05-22 16:05:24 +00:00
|
|
|
this._syncGrab();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-01-05 14:39:36 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_animateNotVisible() {
|
2011-01-05 14:39:36 +00:00
|
|
|
if (!this.visible || this.animationInProgress)
|
2008-12-01 19:51:43 +00:00
|
|
|
return;
|
|
|
|
|
2009-08-07 22:22:05 +00:00
|
|
|
this.animationInProgress = true;
|
2013-02-16 17:45:10 +00:00
|
|
|
this.visibleTarget = false;
|
2010-07-15 14:21:32 +00:00
|
|
|
|
2014-07-14 17:06:08 +00:00
|
|
|
this.viewSelector.animateFromOverview();
|
2008-12-04 15:16:16 +00:00
|
|
|
|
2010-11-11 17:50:19 +00:00
|
|
|
// Make other elements fade out.
|
2016-06-24 13:45:03 +00:00
|
|
|
Tweener.addTween(this._overview,
|
2009-08-10 22:31:39 +00:00
|
|
|
{ opacity: 0,
|
|
|
|
transition: 'easeOutQuad',
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
time: ANIMATION_TIME,
|
|
|
|
onComplete: this._hideDone,
|
|
|
|
onCompleteScope: this
|
2008-12-04 15:16:16 +00:00
|
|
|
});
|
2012-12-24 14:20:39 +00:00
|
|
|
this._unshadeBackgrounds();
|
2011-08-29 01:41:28 +00:00
|
|
|
|
2009-09-13 18:54:56 +00:00
|
|
|
this._coverPane.raise_top();
|
2011-01-21 13:08:42 +00:00
|
|
|
this._coverPane.show();
|
2009-05-07 13:47:48 +00:00
|
|
|
this.emit('hiding');
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2009-05-07 13:47:48 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_hideDone() {
|
2011-08-29 21:55:42 +00:00
|
|
|
// Re-enable unredirection
|
2018-01-03 07:55:38 +00:00
|
|
|
Meta.enable_unredirect_for_display(global.display);
|
2011-08-29 21:55:42 +00:00
|
|
|
|
2011-07-09 13:30:42 +00:00
|
|
|
this.viewSelector.hide();
|
2010-07-15 14:21:32 +00:00
|
|
|
this._desktopFade.hide();
|
2013-05-22 16:05:24 +00:00
|
|
|
this._coverPane.hide();
|
2009-03-20 16:06:34 +00:00
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
this.visible = false;
|
2009-08-07 22:22:05 +00:00
|
|
|
this.animationInProgress = false;
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2009-05-07 13:47:48 +00:00
|
|
|
this.emit('hidden');
|
2011-01-05 14:39:36 +00:00
|
|
|
// Handle any calls to show* while we were hiding
|
2013-03-04 22:02:02 +00:00
|
|
|
if (this._shown)
|
2011-01-05 14:39:36 +00:00
|
|
|
this._animateVisible();
|
2013-05-22 16:05:24 +00:00
|
|
|
else
|
|
|
|
Main.layoutManager.hideOverview();
|
2011-01-05 14:39:36 +00:00
|
|
|
|
2013-05-22 16:05:24 +00:00
|
|
|
this._syncGrab();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
toggle() {
|
2014-07-03 13:33:09 +00:00
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (this.visible)
|
|
|
|
this.hide();
|
|
|
|
else
|
|
|
|
this.show();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-06-17 17:10:54 +00:00
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
getShowAppsButton() {
|
2014-06-17 17:10:54 +00:00
|
|
|
return this._dash.showAppsButton;
|
2008-12-01 19:51:43 +00:00
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
};
|
2009-08-11 11:46:10 +00:00
|
|
|
Signals.addSignalMethods(Overview.prototype);
|