2011-09-28 13:16:26 +00:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2019-01-31 14:07:06 +00:00
|
|
|
/* exported Overview */
|
2008-10-31 23:09:46 +00:00
|
|
|
|
2021-01-02 20:10:36 +00:00
|
|
|
const { Clutter, Gio, GLib, GObject, Meta, Shell, St } = imports.gi;
|
2009-02-02 23:02:16 +00:00
|
|
|
const Signals = imports.signals;
|
|
|
|
|
2020-06-24 13:28:53 +00:00
|
|
|
// Time for initial animation going into Overview mode;
|
|
|
|
// this is defined here to make it available in imports.
|
|
|
|
var ANIMATION_TIME = 250;
|
|
|
|
|
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;
|
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;
|
2021-01-04 15:23:45 +00:00
|
|
|
const SwipeTracker = imports.ui.swipeTracker;
|
2021-01-02 20:10:36 +00:00
|
|
|
const WindowManager = imports.ui.windowManager;
|
2013-04-22 21:56:34 +00:00
|
|
|
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
|
2008-10-31 23:09:46 +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;
|
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) {
|
2019-02-12 14:02:09 +00:00
|
|
|
options = Params.parse(options, {
|
|
|
|
undoCallback: null,
|
|
|
|
forFeedback: false,
|
|
|
|
});
|
2012-11-02 17:06:40 +00:00
|
|
|
|
|
|
|
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
|
|
|
|
2013-10-14 03:06:09 +00:00
|
|
|
if (undoCallback)
|
2021-07-08 17:23:38 +00:00
|
|
|
notification.addAction(_('Undo'), () => undoCallback());
|
2010-07-22 15:49:43 +00:00
|
|
|
|
2019-05-13 21:32:31 +00:00
|
|
|
this._source.showNotification(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
|
|
|
|
2019-08-31 01:51:02 +00:00
|
|
|
var OverviewActor = GObject.registerClass(
|
|
|
|
class OverviewActor extends St.BoxLayout {
|
|
|
|
_init() {
|
|
|
|
super._init({
|
|
|
|
name: 'overview',
|
|
|
|
/* Translators: This is the main view to select
|
|
|
|
activities. See also note for "Activities" string. */
|
|
|
|
accessible_name: _("Overview"),
|
2019-08-20 21:43:54 +00:00
|
|
|
vertical: true,
|
2019-08-31 01:51:02 +00:00
|
|
|
});
|
|
|
|
|
|
|
|
this.add_constraint(new LayoutManager.MonitorConstraint({ primary: true }));
|
|
|
|
|
2020-12-30 20:02:14 +00:00
|
|
|
this._controls = new OverviewControls.ControlsManager();
|
2019-10-21 18:44:00 +00:00
|
|
|
this.add_child(this._controls);
|
2019-08-31 01:51:02 +00:00
|
|
|
}
|
|
|
|
|
2021-01-02 20:19:37 +00:00
|
|
|
animateToOverview(state, callback) {
|
|
|
|
this._controls.animateToOverview(state, callback);
|
2021-01-01 16:39:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
animateFromOverview(callback) {
|
2021-01-01 17:18:18 +00:00
|
|
|
this._controls.animateFromOverview(callback);
|
2021-01-01 16:39:07 +00:00
|
|
|
}
|
|
|
|
|
2021-02-15 20:39:14 +00:00
|
|
|
runStartupAnimation(callback) {
|
|
|
|
this._controls.runStartupAnimation(callback);
|
|
|
|
}
|
|
|
|
|
2019-08-31 01:51:02 +00:00
|
|
|
get dash() {
|
|
|
|
return this._controls.dash;
|
|
|
|
}
|
|
|
|
|
|
|
|
get searchEntry() {
|
2020-12-30 20:02:14 +00:00
|
|
|
return this._controls.searchEntry;
|
2019-08-31 01:51:02 +00:00
|
|
|
}
|
|
|
|
|
2021-01-04 15:23:45 +00:00
|
|
|
get controls() {
|
|
|
|
return this._controls;
|
|
|
|
}
|
2019-08-31 01:51:02 +00:00
|
|
|
});
|
|
|
|
|
2017-10-31 01:19:44 +00:00
|
|
|
var Overview = class {
|
|
|
|
constructor() {
|
2012-11-29 16:58:31 +00:00
|
|
|
this._initCalled = false;
|
2020-01-29 16:48:57 +00:00
|
|
|
this._visible = 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
|
|
|
|
2019-08-31 01:51:02 +00:00
|
|
|
get dash() {
|
|
|
|
return this._overview.dash;
|
|
|
|
}
|
|
|
|
|
|
|
|
get dashIconSize() {
|
|
|
|
logError(new Error('Usage of Overview.\'dashIconSize\' is deprecated, ' +
|
|
|
|
'use \'dash.iconSize\' property instead'));
|
|
|
|
return this.dash.iconSize;
|
|
|
|
}
|
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
get animationInProgress() {
|
|
|
|
return this._animationInProgress;
|
|
|
|
}
|
|
|
|
|
|
|
|
get visible() {
|
|
|
|
return this._visible;
|
|
|
|
}
|
|
|
|
|
|
|
|
get visibleTarget() {
|
|
|
|
return this._visibleTarget;
|
|
|
|
}
|
|
|
|
|
2020-09-16 06:52:19 +00:00
|
|
|
get closing() {
|
|
|
|
return this._animationInProgress && !this._visibleTarget;
|
|
|
|
}
|
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
_createOverview() {
|
2019-08-31 01:51:02 +00:00
|
|
|
if (this._overview)
|
2011-08-28 14:24:48 +00:00
|
|
|
return;
|
2012-09-01 12:42:53 +00:00
|
|
|
|
|
|
|
if (this.isDummy)
|
|
|
|
return;
|
|
|
|
|
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;
|
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
this._visible = false; // animating to overview, in overview, animating out
|
2011-01-05 14:39:36 +00:00
|
|
|
this._shown = false; // show() and not hide()
|
|
|
|
this._modal = false; // have a modal grab
|
2019-08-31 02:04:34 +00:00
|
|
|
this._animationInProgress = false;
|
|
|
|
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);
|
2011-02-11 22:53:27 +00:00
|
|
|
this._coverPane.hide();
|
|
|
|
|
|
|
|
// XDND
|
|
|
|
this._dragMonitor = {
|
2019-08-20 21:43:54 +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
|
|
|
_sessionUpdated() {
|
2020-02-24 10:19:28 +00:00
|
|
|
const { hasOverview } = Main.sessionMode;
|
|
|
|
if (!hasOverview)
|
|
|
|
this.hide();
|
|
|
|
|
|
|
|
this.isDummy = !hasOverview;
|
2012-09-01 12:42:53 +00:00
|
|
|
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;
|
|
|
|
|
2019-08-31 01:51:02 +00:00
|
|
|
this._overview = new OverviewActor();
|
|
|
|
this._overview._delegate = this;
|
|
|
|
Main.layoutManager.overviewGroup.add_child(this._overview);
|
2012-12-10 20:39:15 +00:00
|
|
|
|
2019-08-31 01:51:02 +00:00
|
|
|
this._shellInfo = new ShellInfo();
|
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();
|
2021-01-02 20:10:36 +00:00
|
|
|
|
|
|
|
Main.wm.addKeybinding(
|
|
|
|
'toggle-overview',
|
|
|
|
new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),
|
|
|
|
Meta.KeyBindingFlags.IGNORE_AUTOREPEAT,
|
|
|
|
Shell.ActionMode.NORMAL | Shell.ActionMode.OVERVIEW,
|
|
|
|
this.toggle.bind(this));
|
2021-01-04 15:23:45 +00:00
|
|
|
|
|
|
|
const swipeTracker = new SwipeTracker.SwipeTracker(global.stage,
|
2021-03-01 16:53:55 +00:00
|
|
|
Clutter.Orientation.VERTICAL,
|
2021-01-04 15:23:45 +00:00
|
|
|
Shell.ActionMode.NORMAL | Shell.ActionMode.OVERVIEW,
|
|
|
|
{ allowDrag: false, allowScroll: false });
|
|
|
|
swipeTracker.orientation = Clutter.Orientation.VERTICAL;
|
|
|
|
swipeTracker.connect('begin', this._gestureBegin.bind(this));
|
|
|
|
swipeTracker.connect('update', this._gestureUpdate.bind(this));
|
|
|
|
swipeTracker.connect('end', this._gestureEnd.bind(this));
|
|
|
|
this._swipeTracker = swipeTracker;
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2009-06-24 22:24:48 +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;
|
2021-12-03 19:04:05 +00:00
|
|
|
this._lastActiveWorkspaceIndex = workspaceManager.get_active_workspace_id();
|
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) {
|
2019-08-19 18:50:33 +00:00
|
|
|
GLib.source_remove(this._windowSwitchTimeoutId);
|
2011-02-24 10:30:46 +00:00
|
|
|
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;
|
2019-08-19 18:50:33 +00:00
|
|
|
this._windowSwitchTimeoutId = GLib.timeout_add(
|
|
|
|
GLib.PRIORITY_DEFAULT,
|
|
|
|
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
|
|
|
_getDesktopClone() {
|
2017-10-31 00:38:18 +00:00
|
|
|
let windows = global.get_window_actors().filter(
|
2020-04-03 23:52:29 +00:00
|
|
|
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);
|
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
|
|
|
|
2021-01-04 15:23:45 +00:00
|
|
|
_gestureBegin(tracker) {
|
|
|
|
this._overview.controls.gestureBegin(tracker);
|
|
|
|
}
|
|
|
|
|
|
|
|
_gestureUpdate(tracker, progress) {
|
|
|
|
if (!this._shown) {
|
|
|
|
Meta.disable_unredirect_for_display(global.display);
|
|
|
|
|
|
|
|
this._shown = true;
|
|
|
|
this._visible = true;
|
|
|
|
this._visibleTarget = true;
|
|
|
|
this._animationInProgress = true;
|
|
|
|
|
|
|
|
Main.layoutManager.overviewGroup.set_child_above_sibling(
|
|
|
|
this._coverPane, null);
|
|
|
|
this._coverPane.show();
|
|
|
|
this.emit('showing');
|
|
|
|
|
|
|
|
Main.layoutManager.showOverview();
|
|
|
|
this._syncGrab();
|
|
|
|
}
|
|
|
|
|
|
|
|
this._overview.controls.gestureProgress(progress);
|
|
|
|
}
|
|
|
|
|
|
|
|
_gestureEnd(tracker, duration, endProgress) {
|
|
|
|
let onComplete;
|
|
|
|
if (endProgress === 0) {
|
|
|
|
this._shown = false;
|
2021-02-26 21:55:57 +00:00
|
|
|
this._visibleTarget = false;
|
2021-01-04 15:23:45 +00:00
|
|
|
this.emit('hiding');
|
2021-02-16 23:57:13 +00:00
|
|
|
Main.panel.style = 'transition-duration: %dms;'.format(duration);
|
2021-01-04 15:23:45 +00:00
|
|
|
onComplete = () => this._hideDone();
|
|
|
|
} else {
|
|
|
|
onComplete = () => this._showDone();
|
|
|
|
}
|
|
|
|
|
|
|
|
this._overview.controls.gestureEnd(endProgress, duration, onComplete);
|
|
|
|
}
|
|
|
|
|
2020-06-23 13:30:33 +00:00
|
|
|
beginItemDrag(source) {
|
|
|
|
this.emit('item-drag-begin', source);
|
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
|
|
|
|
2020-06-23 13:30:33 +00:00
|
|
|
cancelledItemDrag(source) {
|
|
|
|
this.emit('item-drag-cancelled', source);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2011-03-09 15:40:48 +00:00
|
|
|
|
2020-06-23 13:30:33 +00:00
|
|
|
endItemDrag(source) {
|
2017-11-16 16:27:12 +00:00
|
|
|
if (!this._inItemDrag)
|
|
|
|
return;
|
2020-06-23 13:30:33 +00:00
|
|
|
this.emit('item-drag-end', source);
|
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();
|
2019-08-31 01:51:02 +00:00
|
|
|
this._overview.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();
|
2018-07-20 19:46:19 +00:00
|
|
|
this._desktopFade.ease({
|
|
|
|
opacity: 255,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
2019-08-20 21:43:54 +00:00
|
|
|
duration: ANIMATION_TIME,
|
2018-07-20 19:46:19 +00:00
|
|
|
});
|
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();
|
2018-07-20 19:46:19 +00:00
|
|
|
this._desktopFade.ease({
|
|
|
|
opacity: 0,
|
2019-09-14 11:39:28 +00:00
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
2019-08-20 21:43:54 +00:00
|
|
|
duration: ANIMATION_TIME,
|
2018-07-20 19:46:19 +00:00
|
|
|
});
|
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() {
|
2019-08-31 02:04:34 +00:00
|
|
|
if (this._animationInProgress)
|
2014-07-03 13:33:09 +00:00
|
|
|
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;
|
2019-08-31 01:51:02 +00:00
|
|
|
if (!this._activationTime ||
|
2018-01-15 14:36:44 +00:00
|
|
|
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.
|
2019-08-31 02:04:34 +00:00
|
|
|
if (this._animationInProgress)
|
2014-07-03 13:33:09 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
if (this._shown) {
|
|
|
|
let shouldBeModal = !this._inXdndDrag;
|
2019-08-20 02:25:24 +00:00
|
|
|
if (shouldBeModal && !this._modal) {
|
|
|
|
let actionMode = Shell.ActionMode.OVERVIEW;
|
|
|
|
if (Main.pushModal(this._overview, { actionMode })) {
|
|
|
|
this._modal = true;
|
|
|
|
} else {
|
|
|
|
this.hide();
|
|
|
|
return false;
|
2014-07-03 13:33:09 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
2019-08-20 02:24:37 +00:00
|
|
|
// eslint-disable-next-line no-lonely-if
|
2014-07-03 13:33:09 +00:00
|
|
|
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
|
2021-01-02 20:19:37 +00:00
|
|
|
show(state = OverviewControls.ControlsState.WINDOW_PICKER) {
|
|
|
|
if (state === OverviewControls.ControlsState.HIDDEN)
|
|
|
|
throw new Error('Invalid state, use hide() to hide');
|
|
|
|
|
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();
|
2021-01-02 20:19:37 +00:00
|
|
|
this._animateVisible(state);
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-07-03 13:33:09 +00:00
|
|
|
|
|
|
|
|
2021-01-02 20:19:37 +00:00
|
|
|
_animateVisible(state) {
|
2019-08-31 02:04:34 +00:00
|
|
|
if (this._visible || this._animationInProgress)
|
2011-01-05 14:39:36 +00:00
|
|
|
return;
|
2008-11-28 20:12:20 +00:00
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
this._visible = true;
|
|
|
|
this._animationInProgress = true;
|
|
|
|
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);
|
2010-07-15 14:21:32 +00:00
|
|
|
|
2021-01-02 20:19:37 +00:00
|
|
|
this._overview.animateToOverview(state, () => this._showDone());
|
2011-08-29 01:41:28 +00:00
|
|
|
|
2019-11-05 19:17:19 +00:00
|
|
|
Main.layoutManager.overviewGroup.set_child_above_sibling(
|
|
|
|
this._coverPane, null);
|
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() {
|
2019-08-31 02:04:34 +00:00
|
|
|
this._animationInProgress = false;
|
2014-07-03 13:33:09 +00:00
|
|
|
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();
|
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();
|
2019-08-19 19:38:51 +00:00
|
|
|
let button = type == Clutter.EventType.BUTTON_PRESS ||
|
|
|
|
type == Clutter.EventType.BUTTON_RELEASE;
|
2013-03-14 15:34:09 +00:00
|
|
|
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() {
|
2019-08-31 02:04:34 +00:00
|
|
|
if (!this._visible || this._animationInProgress)
|
2008-12-01 19:51:43 +00:00
|
|
|
return;
|
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
this._animationInProgress = true;
|
|
|
|
this._visibleTarget = false;
|
2010-07-15 14:21:32 +00:00
|
|
|
|
2021-01-01 16:39:07 +00:00
|
|
|
this._overview.animateFromOverview(() => this._hideDone());
|
2011-08-29 01:41:28 +00:00
|
|
|
|
2019-11-05 19:17:19 +00:00
|
|
|
Main.layoutManager.overviewGroup.set_child_above_sibling(
|
|
|
|
this._coverPane, null);
|
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
|
|
|
|
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
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
this._visible = false;
|
|
|
|
this._animationInProgress = false;
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2011-01-05 14:39:36 +00:00
|
|
|
// Handle any calls to show* while we were hiding
|
2020-09-17 07:24:12 +00:00
|
|
|
if (this._shown) {
|
|
|
|
this.emit('hidden');
|
2021-03-16 12:51:05 +00:00
|
|
|
this._animateVisible(OverviewControls.ControlsState.WINDOW_PICKER);
|
2020-09-17 07:24:12 +00:00
|
|
|
} else {
|
2013-05-22 16:05:24 +00:00
|
|
|
Main.layoutManager.hideOverview();
|
2020-09-17 07:24:12 +00:00
|
|
|
this.emit('hidden');
|
|
|
|
}
|
2011-01-05 14:39:36 +00:00
|
|
|
|
2021-02-16 23:57:13 +00:00
|
|
|
Main.panel.style = null;
|
|
|
|
|
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;
|
|
|
|
|
2019-08-31 02:04:34 +00:00
|
|
|
if (this._visible)
|
2014-07-03 13:33:09 +00:00
|
|
|
this.hide();
|
|
|
|
else
|
|
|
|
this.show();
|
2017-10-31 01:19:44 +00:00
|
|
|
}
|
2014-06-17 17:10:54 +00:00
|
|
|
|
2021-01-02 20:28:44 +00:00
|
|
|
showApps() {
|
2021-03-14 11:07:31 +00:00
|
|
|
this.show(OverviewControls.ControlsState.APP_GRID);
|
2021-01-02 20:28:44 +00:00
|
|
|
}
|
|
|
|
|
2021-06-17 20:09:14 +00:00
|
|
|
selectApp(id) {
|
|
|
|
this.showApps();
|
|
|
|
this._overview.controls.appDisplay.selectApp(id);
|
|
|
|
}
|
|
|
|
|
2021-02-15 20:39:14 +00:00
|
|
|
runStartupAnimation(callback) {
|
2021-03-02 22:52:26 +00:00
|
|
|
Main.panel.style = 'transition-duration: 0ms;';
|
|
|
|
|
2021-02-15 20:39:14 +00:00
|
|
|
this._shown = true;
|
|
|
|
this._visible = true;
|
|
|
|
this._visibleTarget = true;
|
|
|
|
Main.layoutManager.showOverview();
|
2021-04-15 14:58:17 +00:00
|
|
|
// We should call this._syncGrab() here, but moved it to happen after
|
|
|
|
// the animation because of a race in the xserver where the grab
|
|
|
|
// fails when requested very early during startup.
|
2021-02-15 20:39:14 +00:00
|
|
|
|
|
|
|
Meta.disable_unredirect_for_display(global.display);
|
|
|
|
|
|
|
|
this.emit('showing');
|
|
|
|
|
|
|
|
this._overview.runStartupAnimation(() => {
|
2021-04-15 14:58:17 +00:00
|
|
|
if (!this._syncGrab()) {
|
|
|
|
callback();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2021-03-02 22:52:26 +00:00
|
|
|
Main.panel.style = null;
|
2021-02-15 20:39:14 +00:00
|
|
|
this.emit('shown');
|
|
|
|
callback();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2017-10-31 00:03:21 +00:00
|
|
|
getShowAppsButton() {
|
2019-08-31 01:51:02 +00:00
|
|
|
logError(new Error('Usage of Overview.\'getShowAppsButton\' is deprecated, ' +
|
|
|
|
'use \'dash.showAppsButton\' property instead'));
|
|
|
|
|
|
|
|
return this.dash.showAppsButton;
|
2008-12-01 19:51:43 +00:00
|
|
|
}
|
2020-01-09 20:44:22 +00:00
|
|
|
|
|
|
|
get searchEntry() {
|
|
|
|
return this._overview.searchEntry;
|
|
|
|
}
|
2017-10-31 01:19:44 +00:00
|
|
|
};
|
2009-08-11 11:46:10 +00:00
|
|
|
Signals.addSignalMethods(Overview.prototype);
|