2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2019-01-31 09:07:06 -05:00
|
|
|
/* exported ViewSelector */
|
2010-11-12 12:45:29 -05:00
|
|
|
|
2021-01-02 15:41:54 -05:00
|
|
|
const { Clutter, GObject, Meta, Shell, St } = imports.gi;
|
2010-11-12 12:45:29 -05:00
|
|
|
const Signals = imports.signals;
|
|
|
|
|
2012-07-28 16:06:46 -04:00
|
|
|
const AppDisplay = imports.ui.appDisplay;
|
2010-11-12 12:45:29 -05:00
|
|
|
const Main = imports.ui.main;
|
2013-01-24 01:35:19 -05:00
|
|
|
const OverviewControls = imports.ui.overviewControls;
|
2010-11-12 12:45:29 -05:00
|
|
|
const Search = imports.ui.search;
|
2011-10-11 18:38:24 -04:00
|
|
|
const ShellEntry = imports.ui.shellEntry;
|
2021-01-25 15:50:59 -05:00
|
|
|
const Util = imports.misc.util;
|
|
|
|
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
|
2012-07-28 16:06:46 -04:00
|
|
|
const WorkspacesView = imports.ui.workspacesView;
|
2010-11-12 12:45:29 -05:00
|
|
|
|
2012-10-08 12:16:55 -04:00
|
|
|
const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings';
|
2017-07-18 13:47:27 -04:00
|
|
|
var PINCH_GESTURE_THRESHOLD = 0.7;
|
2010-11-12 12:45:29 -05:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var ViewPage = {
|
2020-12-12 10:57:15 -05:00
|
|
|
ACTIVITIES: 1,
|
|
|
|
SEARCH: 2,
|
2013-02-13 16:13:14 -05:00
|
|
|
};
|
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var FocusTrap = GObject.registerClass(
|
|
|
|
class FocusTrap extends St.Widget {
|
2017-10-30 20:03:21 -04:00
|
|
|
vfunc_navigate_focus(from, direction) {
|
2018-11-27 07:58:25 -05:00
|
|
|
if (direction == St.DirectionType.TAB_FORWARD ||
|
|
|
|
direction == St.DirectionType.TAB_BACKWARD)
|
2017-10-30 21:23:39 -04:00
|
|
|
return super.vfunc_navigate_focus(from, direction);
|
2012-03-09 19:33:31 -05:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2013-02-08 21:05:15 -05:00
|
|
|
function getTermsForSearchString(searchString) {
|
|
|
|
searchString = searchString.replace(/^\s+/g, '').replace(/\s+$/g, '');
|
|
|
|
if (searchString == '')
|
|
|
|
return [];
|
|
|
|
|
|
|
|
let terms = searchString.split(/\s+/);
|
|
|
|
return terms;
|
|
|
|
}
|
2012-03-09 19:33:31 -05:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var TouchpadShowOverviewAction = class {
|
|
|
|
constructor(actor) {
|
2020-01-10 02:44:35 -05:00
|
|
|
actor.connect('captured-event::touchpad', this._handleEvent.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2016-04-15 11:48:25 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_handleEvent(actor, event) {
|
2016-04-15 11:48:25 -04:00
|
|
|
if (event.type() != Clutter.EventType.TOUCHPAD_PINCH)
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
|
|
|
if (event.get_touchpad_gesture_finger_count() != 3)
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
|
|
|
if (event.get_gesture_phase() == Clutter.TouchpadGesturePhase.END)
|
2019-08-19 13:55:49 -04:00
|
|
|
this.emit('activated', event.get_gesture_pinch_scale());
|
2016-04-15 11:48:25 -04:00
|
|
|
|
|
|
|
return Clutter.EVENT_STOP;
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2016-04-15 11:48:25 -04:00
|
|
|
Signals.addSignalMethods(TouchpadShowOverviewAction.prototype);
|
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var ShowOverviewAction = GObject.registerClass({
|
2017-03-21 13:47:36 -04:00
|
|
|
Signals: { 'activated': { param_types: [GObject.TYPE_DOUBLE] } },
|
2017-10-30 21:23:39 -04:00
|
|
|
}, class ShowOverviewAction extends Clutter.GestureAction {
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2017-10-30 21:23:39 -04:00
|
|
|
super._init();
|
2014-06-25 12:12:04 -04:00
|
|
|
this.set_n_touch_points(3);
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
global.display.connect('grab-op-begin', () => {
|
2014-06-25 12:12:04 -04:00
|
|
|
this.cancel();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2014-06-25 12:12:04 -04:00
|
|
|
|
2019-01-31 09:08:10 -05:00
|
|
|
vfunc_gesture_prepare(_actor) {
|
2014-12-11 09:35:40 -05:00
|
|
|
return Main.actionMode == Shell.ActionMode.NORMAL &&
|
2014-11-27 14:46:50 -05:00
|
|
|
this.get_n_current_points() == this.get_n_touch_points();
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2014-06-25 12:12:04 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getBoundingRect(motion) {
|
2014-06-25 12:12:04 -04:00
|
|
|
let minX, minY, maxX, maxY;
|
|
|
|
|
|
|
|
for (let i = 0; i < this.get_n_current_points(); i++) {
|
|
|
|
let x, y;
|
|
|
|
|
2019-08-19 20:51:42 -04:00
|
|
|
if (motion == true)
|
2014-06-25 12:12:04 -04:00
|
|
|
[x, y] = this.get_motion_coords(i);
|
2019-08-19 20:51:42 -04:00
|
|
|
else
|
2014-06-25 12:12:04 -04:00
|
|
|
[x, y] = this.get_press_coords(i);
|
|
|
|
|
|
|
|
if (i == 0) {
|
|
|
|
minX = maxX = x;
|
|
|
|
minY = maxY = y;
|
|
|
|
} else {
|
|
|
|
minX = Math.min(minX, x);
|
|
|
|
minY = Math.min(minY, y);
|
|
|
|
maxX = Math.max(maxX, x);
|
|
|
|
maxY = Math.max(maxY, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return new Meta.Rectangle({ x: minX,
|
|
|
|
y: minY,
|
|
|
|
width: maxX - minX,
|
|
|
|
height: maxY - minY });
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2014-06-25 12:12:04 -04:00
|
|
|
|
2019-01-31 09:08:10 -05:00
|
|
|
vfunc_gesture_begin(_actor) {
|
2014-06-25 12:12:04 -04:00
|
|
|
this._initialRect = this._getBoundingRect(false);
|
|
|
|
return true;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2014-06-25 12:12:04 -04:00
|
|
|
|
2019-01-31 09:08:10 -05:00
|
|
|
vfunc_gesture_end(_actor) {
|
2014-06-25 12:12:04 -04:00
|
|
|
let rect = this._getBoundingRect(true);
|
|
|
|
let oldArea = this._initialRect.width * this._initialRect.height;
|
|
|
|
let newArea = rect.width * rect.height;
|
|
|
|
let areaDiff = newArea / oldArea;
|
|
|
|
|
|
|
|
this.emit('activated', areaDiff);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2020-12-12 10:57:15 -05:00
|
|
|
var ActivitiesContainer = GObject.registerClass(
|
|
|
|
class ActivitiesContainer extends St.Widget {
|
2020-12-30 15:45:09 -05:00
|
|
|
_init(thumbnailsBox, workspacesDisplay, appDisplay, overviewAdjustment) {
|
2020-12-12 10:57:15 -05:00
|
|
|
super._init();
|
|
|
|
|
|
|
|
// 0 for window picker, 1 for app grid
|
|
|
|
this._adjustment = new St.Adjustment({
|
|
|
|
actor: this,
|
|
|
|
value: 0,
|
|
|
|
lower: 0,
|
|
|
|
upper: 1,
|
|
|
|
});
|
|
|
|
this._adjustment.connect('notify::value', () => {
|
|
|
|
this._update();
|
|
|
|
this.queue_relayout();
|
|
|
|
});
|
|
|
|
|
2020-12-30 15:45:09 -05:00
|
|
|
overviewAdjustment.connect('notify::value', () => {
|
2021-01-02 14:06:34 -05:00
|
|
|
const { ControlsState } = OverviewControls;
|
|
|
|
|
|
|
|
const overviewState = overviewAdjustment.value;
|
|
|
|
|
|
|
|
this._appDisplay.visible =
|
|
|
|
overviewState >= ControlsState.WINDOW_PICKER;
|
|
|
|
this._adjustment.value = Math.max(0,
|
|
|
|
overviewAdjustment.value - ControlsState.WINDOW_PICKER);
|
2020-12-30 15:45:09 -05:00
|
|
|
});
|
2020-12-12 10:57:15 -05:00
|
|
|
|
2021-01-25 15:50:59 -05:00
|
|
|
this._thumbnailsBox = thumbnailsBox;
|
|
|
|
this.add_child(thumbnailsBox);
|
|
|
|
|
2020-12-12 10:57:15 -05:00
|
|
|
this._appDisplay = appDisplay;
|
|
|
|
this.add_child(appDisplay);
|
|
|
|
|
|
|
|
this._workspacesDisplay = workspacesDisplay;
|
|
|
|
this.add_child(workspacesDisplay);
|
|
|
|
|
|
|
|
this.connect('notify::mapped', () => {
|
|
|
|
workspacesDisplay.setPrimaryWorkspaceVisible(this.mapped);
|
|
|
|
});
|
|
|
|
|
|
|
|
this._update();
|
|
|
|
}
|
|
|
|
|
|
|
|
_update() {
|
|
|
|
const progress = this._adjustment.value;
|
|
|
|
|
|
|
|
this._appDisplay.opacity = progress * 255;
|
2021-01-25 15:50:59 -05:00
|
|
|
|
|
|
|
this._thumbnailsBox.set({
|
|
|
|
scale_x: Util.lerp(1, 0.5, progress),
|
|
|
|
scale_y: Util.lerp(1, 0.5, progress),
|
|
|
|
translation_y: Util.lerp(0, this._thumbnailsBox.height, progress),
|
|
|
|
opacity: Util.lerp(0, 255, 1 - progress),
|
|
|
|
visible: (1 - progress) !== 0,
|
|
|
|
});
|
2020-12-29 16:51:40 -05:00
|
|
|
|
|
|
|
const { fitModeAdjustment } = this._workspacesDisplay;
|
|
|
|
fitModeAdjustment.value = Util.lerp(
|
|
|
|
WorkspacesView.FitMode.SINGLE,
|
|
|
|
WorkspacesView.FitMode.ALL,
|
|
|
|
progress);
|
2020-12-12 10:57:15 -05:00
|
|
|
}
|
|
|
|
|
2021-01-25 15:50:59 -05:00
|
|
|
_getWorkspacesBoxes(box, thumbnailsHeight) {
|
2020-12-12 10:57:15 -05:00
|
|
|
const initialBox = box.copy();
|
2021-01-25 15:50:59 -05:00
|
|
|
initialBox.y1 += thumbnailsHeight;
|
2020-12-12 10:57:15 -05:00
|
|
|
|
|
|
|
const finalBox = box.copy();
|
|
|
|
finalBox.set_size(
|
|
|
|
box.get_width(),
|
|
|
|
Math.round(box.get_height() * 0.15));
|
|
|
|
|
|
|
|
return [initialBox, finalBox];
|
|
|
|
}
|
|
|
|
|
|
|
|
vfunc_allocate(box) {
|
|
|
|
this.set_allocation(box);
|
|
|
|
|
2021-01-25 15:50:59 -05:00
|
|
|
// Workspace Thumbnails
|
|
|
|
let thumbnailsHeight = 0;
|
|
|
|
if (this._thumbnailsBox.visible) {
|
|
|
|
const maxThumbnailScale = WorkspaceThumbnail.MAX_THUMBNAIL_SCALE;
|
|
|
|
const primaryMonitor = Main.layoutManager.primaryMonitor;
|
|
|
|
const [width, height] = box.get_size();
|
|
|
|
|
|
|
|
[, thumbnailsHeight] =
|
|
|
|
this._thumbnailsBox.get_preferred_height(width);
|
|
|
|
thumbnailsHeight = Math.min(
|
|
|
|
thumbnailsHeight,
|
|
|
|
(primaryMonitor ? primaryMonitor.height : height) * maxThumbnailScale);
|
|
|
|
|
|
|
|
const thumbnailsBox = new Clutter.ActorBox();
|
|
|
|
thumbnailsBox.set_origin(0, 0);
|
|
|
|
thumbnailsBox.set_size(width, thumbnailsHeight);
|
|
|
|
this._thumbnailsBox.allocate(thumbnailsBox);
|
|
|
|
}
|
|
|
|
|
2020-12-12 10:57:15 -05:00
|
|
|
const progress = this._adjustment.value;
|
2021-01-25 15:50:59 -05:00
|
|
|
const [initialBox, finalBox] =
|
|
|
|
this._getWorkspacesBoxes(box, thumbnailsHeight);
|
2020-12-12 10:57:15 -05:00
|
|
|
const workspacesBox = initialBox.interpolate(finalBox, progress);
|
|
|
|
this._workspacesDisplay.allocate(workspacesBox);
|
|
|
|
|
|
|
|
if (this._appDisplay.visible) {
|
|
|
|
const appDisplayBox = box.copy();
|
|
|
|
appDisplayBox.y1 += Math.ceil(finalBox.get_height());
|
|
|
|
this._appDisplay.allocate(appDisplayBox);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2019-07-16 05:24:13 -04:00
|
|
|
var ViewSelector = GObject.registerClass({
|
|
|
|
Signals: {
|
|
|
|
'page-changed': {},
|
|
|
|
'page-empty': {},
|
2019-08-20 17:43:54 -04:00
|
|
|
},
|
2019-07-16 05:24:13 -04:00
|
|
|
}, class ViewSelector extends Shell.Stack {
|
2020-12-30 15:45:09 -05:00
|
|
|
_init(searchEntry, workspaceAdjustment, showAppsButton, overviewAdjustment) {
|
2019-10-21 14:44:00 -04:00
|
|
|
super._init({
|
|
|
|
name: 'viewSelector',
|
|
|
|
x_expand: true,
|
2021-01-29 09:38:08 -05:00
|
|
|
y_expand: true,
|
2020-06-02 13:21:02 -04:00
|
|
|
visible: false,
|
2019-10-21 14:44:00 -04:00
|
|
|
});
|
2012-06-21 18:52:56 -04:00
|
|
|
|
|
|
|
this._showAppsButton = showAppsButton;
|
2017-12-01 19:27:35 -05:00
|
|
|
this._showAppsButton.connect('notify::checked', this._onShowAppsButtonToggled.bind(this));
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2012-06-21 18:52:56 -04:00
|
|
|
this._activePage = null;
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2012-08-24 12:24:49 -04:00
|
|
|
this._searchActive = false;
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2012-07-28 16:47:55 -04:00
|
|
|
this._entry = searchEntry;
|
2011-10-11 18:38:24 -04:00
|
|
|
ShellEntry.addContextMenu(this._entry);
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2011-02-16 13:20:03 -05:00
|
|
|
this._text = this._entry.clutter_text;
|
2017-12-01 19:27:35 -05:00
|
|
|
this._text.connect('text-changed', this._onTextChanged.bind(this));
|
|
|
|
this._text.connect('key-press-event', this._onKeyPress.bind(this));
|
2017-10-30 20:38:18 -04:00
|
|
|
this._text.connect('key-focus-in', () => {
|
2012-06-21 18:52:56 -04:00
|
|
|
this._searchResults.highlightDefault(true);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
|
|
|
this._text.connect('key-focus-out', () => {
|
2012-06-21 18:52:56 -04:00
|
|
|
this._searchResults.highlightDefault(false);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2017-08-15 19:25:15 -04:00
|
|
|
this._entry.connect('popup-menu', () => {
|
|
|
|
if (!this._searchActive)
|
|
|
|
return;
|
|
|
|
|
|
|
|
this._entry.menu.close();
|
|
|
|
this._searchResults.popupMenuDefault();
|
|
|
|
});
|
2017-12-01 19:27:35 -05:00
|
|
|
this._entry.connect('notify::mapped', this._onMapped.bind(this));
|
|
|
|
global.stage.connect('notify::key-focus', this._onStageKeyFocusChanged.bind(this));
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2013-03-03 13:56:12 -05:00
|
|
|
this._entry.set_primary_icon(new St.Icon({ style_class: 'search-entry-icon',
|
|
|
|
icon_name: 'edit-find-symbolic' }));
|
2014-09-05 12:56:21 -04:00
|
|
|
this._clearIcon = new St.Icon({ style_class: 'search-entry-icon',
|
|
|
|
icon_name: 'edit-clear-symbolic' });
|
2011-02-16 13:20:03 -05:00
|
|
|
|
|
|
|
this._iconClickedId = 0;
|
2012-06-21 18:52:56 -04:00
|
|
|
this._capturedEventId = 0;
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2021-01-25 15:50:59 -05:00
|
|
|
this._thumbnailsBox =
|
|
|
|
new WorkspaceThumbnail.ThumbnailsBox(workspaceAdjustment);
|
2019-07-08 04:03:20 -04:00
|
|
|
this._workspacesDisplay =
|
2021-01-02 14:06:34 -05:00
|
|
|
new WorkspacesView.WorkspacesDisplay(workspaceAdjustment, overviewAdjustment);
|
2011-07-09 09:30:42 -04:00
|
|
|
this.appDisplay = new AppDisplay.AppDisplay();
|
2020-12-12 10:57:15 -05:00
|
|
|
|
|
|
|
const activitiesContainer = new ActivitiesContainer(
|
2021-01-25 15:50:59 -05:00
|
|
|
this._thumbnailsBox,
|
|
|
|
this._workspacesDisplay,
|
|
|
|
this.appDisplay,
|
2020-12-30 15:45:09 -05:00
|
|
|
overviewAdjustment);
|
2020-12-12 10:57:15 -05:00
|
|
|
this._activitiesPage =
|
|
|
|
this._addPage(activitiesContainer, _('Activities'), 'view-app-grid-symbolic');
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2021-01-27 10:55:20 -05:00
|
|
|
Main.ctrlAltTabManager.addGroup(
|
|
|
|
this.appDisplay,
|
|
|
|
_('Applications'),
|
|
|
|
'edit-find-symbolic', {
|
|
|
|
proxy: this,
|
|
|
|
focusCallback: () => {
|
|
|
|
this._showPage(this._activitiesPage);
|
|
|
|
this._showAppsButton.checked = true;
|
|
|
|
this.appDisplay.navigate_focus(
|
|
|
|
null, St.DirectionType.TAB_FORWARD, false);
|
|
|
|
},
|
|
|
|
});
|
|
|
|
|
|
|
|
Main.ctrlAltTabManager.addGroup(
|
|
|
|
this._workspacesDisplay,
|
|
|
|
_('Windows'),
|
|
|
|
'focus-windows-symbolic', {
|
|
|
|
proxy: this,
|
|
|
|
focusCallback: () => {
|
|
|
|
this._showPage(this._activitiesPage);
|
|
|
|
this._showAppsButton.checked = false;
|
|
|
|
this._workspacesDisplay.navigate_focus(
|
|
|
|
null, St.DirectionType.TAB_FORWARD, false);
|
|
|
|
},
|
|
|
|
});
|
|
|
|
|
2019-10-16 05:31:44 -04:00
|
|
|
this._searchResults = new Search.SearchResultsView();
|
2021-01-27 10:55:20 -05:00
|
|
|
this._searchPage = this._addPage(this._searchResults);
|
|
|
|
Main.ctrlAltTabManager.addGroup(this._entry, _('Search'), 'edit-find-symbolic');
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2011-11-11 23:40:56 -05:00
|
|
|
// Since the entry isn't inside the results container we install this
|
|
|
|
// dummy widget as the last results container child so that we can
|
2012-03-09 19:33:31 -05:00
|
|
|
// include the entry in the keynav tab path
|
|
|
|
this._focusTrap = new FocusTrap({ can_focus: true });
|
2017-10-30 20:38:18 -04:00
|
|
|
this._focusTrap.connect('key-focus-in', () => {
|
2011-11-11 23:40:56 -05:00
|
|
|
this._entry.grab_key_focus();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2019-07-16 05:24:13 -04:00
|
|
|
this._searchResults.add_actor(this._focusTrap);
|
2011-11-11 23:40:56 -05:00
|
|
|
|
2019-07-16 05:24:13 -04:00
|
|
|
global.focus_manager.add_group(this._searchResults);
|
2012-06-21 18:52:56 -04:00
|
|
|
|
|
|
|
this._stageKeyPressId = 0;
|
2017-10-30 20:38:18 -04:00
|
|
|
Main.overview.connect('showing', () => {
|
|
|
|
this._stageKeyPressId = global.stage.connect('key-press-event',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._onStageKeyPress.bind(this));
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
|
|
|
Main.overview.connect('hiding', () => {
|
|
|
|
if (this._stageKeyPressId != 0) {
|
|
|
|
global.stage.disconnect(this._stageKeyPressId);
|
|
|
|
this._stageKeyPressId = 0;
|
|
|
|
}
|
|
|
|
});
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2021-01-05 08:33:59 -05:00
|
|
|
let gesture = new ShowOverviewAction();
|
2017-12-01 19:27:35 -05:00
|
|
|
gesture.connect('activated', this._pinchGestureActivated.bind(this));
|
2014-06-25 12:12:04 -04:00
|
|
|
global.stage.add_action(gesture);
|
2016-04-15 11:48:25 -04:00
|
|
|
|
|
|
|
gesture = new TouchpadShowOverviewAction(global.stage);
|
2017-12-01 19:27:35 -05:00
|
|
|
gesture.connect('activated', this._pinchGestureActivated.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2016-04-15 11:48:25 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_pinchGestureActivated(action, scale) {
|
2016-04-15 11:48:25 -04:00
|
|
|
if (scale < PINCH_GESTURE_THRESHOLD)
|
|
|
|
Main.overview.show();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-10-08 12:16:55 -04:00
|
|
|
|
2021-01-02 14:17:17 -05:00
|
|
|
prepareToEnterOverview() {
|
2020-06-02 13:21:02 -04:00
|
|
|
this.show();
|
2013-02-16 12:54:19 -05:00
|
|
|
this.reset();
|
2021-01-02 14:17:17 -05:00
|
|
|
this._workspacesDisplay.prepareToEnterOverview();
|
2013-11-20 12:06:14 -05:00
|
|
|
this._activePage = null;
|
2020-12-12 10:57:15 -05:00
|
|
|
this._showPage(this._activitiesPage);
|
2012-06-21 18:52:56 -04:00
|
|
|
|
|
|
|
if (!this._workspacesDisplay.activeWorkspaceHasMaximizedWindows())
|
|
|
|
Main.overview.fadeOutDesktop();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2021-01-02 14:17:17 -05:00
|
|
|
prepareToLeaveOverview() {
|
|
|
|
this._workspacesDisplay.prepareToLeaveOverview();
|
2014-07-14 13:06:08 -04:00
|
|
|
|
2012-06-21 18:52:56 -04:00
|
|
|
if (!this._workspacesDisplay.activeWorkspaceHasMaximizedWindows())
|
|
|
|
Main.overview.fadeInDesktop();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-02-25 18:11:59 -05:00
|
|
|
|
2020-06-02 13:21:02 -04:00
|
|
|
vfunc_hide() {
|
2018-08-23 10:11:10 -04:00
|
|
|
this.reset();
|
2012-06-21 18:52:56 -04:00
|
|
|
this._workspacesDisplay.hide();
|
2020-06-02 13:21:02 -04:00
|
|
|
|
|
|
|
super.vfunc_hide();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2021-01-27 10:55:20 -05:00
|
|
|
_addPage(actor) {
|
2019-10-17 17:40:24 -04:00
|
|
|
let page = new St.Bin({ child: actor });
|
2013-11-20 12:06:14 -05:00
|
|
|
page.hide();
|
2019-07-16 05:24:13 -04:00
|
|
|
this.add_actor(page);
|
2012-11-01 09:45:04 -04:00
|
|
|
return page;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_fadePageIn() {
|
2018-07-20 15:46:19 -04:00
|
|
|
this._activePage.ease({
|
|
|
|
opacity: 255,
|
|
|
|
duration: OverviewControls.SIDE_CONTROLS_ANIMATION_TIME,
|
2019-08-20 17:43:54 -04:00
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
2018-07-20 15:46:19 -04:00
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-17 13:10:54 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_fadePageOut(page) {
|
2014-06-17 13:10:54 -04:00
|
|
|
let oldPage = page;
|
2018-07-20 15:46:19 -04:00
|
|
|
page.ease({
|
|
|
|
opacity: 0,
|
|
|
|
duration: OverviewControls.SIDE_CONTROLS_ANIMATION_TIME,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
2019-08-20 17:43:54 -04:00
|
|
|
onStopped: () => this._animateIn(oldPage),
|
2018-07-20 15:46:19 -04:00
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-17 13:10:54 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_animateIn(oldPage) {
|
2013-02-16 12:59:54 -05:00
|
|
|
if (oldPage)
|
|
|
|
oldPage.hide();
|
|
|
|
|
2013-02-15 20:43:45 -05:00
|
|
|
this.emit('page-empty');
|
2014-02-18 19:44:58 -05:00
|
|
|
|
2020-12-12 10:57:15 -05:00
|
|
|
if (this._activePage) {
|
|
|
|
this._activePage.show();
|
2014-06-17 13:10:54 -04:00
|
|
|
this._fadePageIn();
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-17 13:10:54 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_animateOut(page) {
|
2020-12-12 10:57:15 -05:00
|
|
|
this._fadePageOut(page);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-01-24 01:35:19 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_showPage(page) {
|
2014-07-14 13:06:08 -04:00
|
|
|
if (!Main.overview.visible)
|
|
|
|
return;
|
|
|
|
|
2013-01-24 16:35:11 -05:00
|
|
|
if (page == this._activePage)
|
2012-06-21 18:52:56 -04:00
|
|
|
return;
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2013-01-24 16:35:11 -05:00
|
|
|
let oldPage = this._activePage;
|
2013-01-24 01:35:19 -05:00
|
|
|
this._activePage = page;
|
|
|
|
this.emit('page-changed');
|
|
|
|
|
2014-07-14 12:55:34 -04:00
|
|
|
if (oldPage)
|
2019-01-28 20:18:52 -05:00
|
|
|
this._animateOut(oldPage);
|
2013-01-24 01:35:19 -05:00
|
|
|
else
|
2014-06-17 13:10:54 -04:00
|
|
|
this._animateIn();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onShowAppsButtonToggled() {
|
2020-12-12 10:57:15 -05:00
|
|
|
this._showPage(this._activitiesPage);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onStageKeyPress(actor, event) {
|
2012-11-12 12:41:14 -05:00
|
|
|
// Ignore events while anything but the overview has
|
|
|
|
// pushed a modal (system modals, looking glass, ...)
|
|
|
|
if (Main.modalCount > 1)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2012-11-12 12:41:14 -05:00
|
|
|
|
2012-06-21 18:52:56 -04:00
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_Escape) {
|
2012-08-24 12:24:49 -04:00
|
|
|
if (this._searchActive)
|
2012-06-21 18:52:56 -04:00
|
|
|
this.reset();
|
2012-08-15 06:20:24 -04:00
|
|
|
else if (this._showAppsButton.checked)
|
2013-02-16 12:50:25 -05:00
|
|
|
this._showAppsButton.checked = false;
|
2012-06-21 18:52:56 -04:00
|
|
|
else
|
|
|
|
Main.overview.hide();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2013-02-22 14:56:24 -05:00
|
|
|
} else if (this._shouldTriggerSearch(symbol)) {
|
2012-06-21 18:52:56 -04:00
|
|
|
this.startSearch(event);
|
2014-05-23 11:14:20 -04:00
|
|
|
} else if (!this._searchActive && !global.stage.key_focus) {
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_Tab || symbol === Clutter.KEY_Down) {
|
2018-11-27 07:58:25 -05:00
|
|
|
this._activePage.navigate_focus(null, St.DirectionType.TAB_FORWARD, false);
|
2014-06-10 14:25:16 -04:00
|
|
|
return Clutter.EVENT_STOP;
|
2019-11-05 14:37:28 -05:00
|
|
|
} else if (symbol === Clutter.KEY_ISO_Left_Tab) {
|
2018-11-27 07:58:25 -05:00
|
|
|
this._activePage.navigate_focus(null, St.DirectionType.TAB_BACKWARD, false);
|
2014-06-10 14:25:16 -04:00
|
|
|
return Clutter.EVENT_STOP;
|
2014-02-18 19:44:58 -05:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 18:52:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_searchCancelled() {
|
2020-12-12 10:57:15 -05:00
|
|
|
this._showPage(this._activitiesPage);
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2011-04-07 19:10:24 -04:00
|
|
|
// Leave the entry focused when it doesn't have any text;
|
|
|
|
// when replacing a selected search term, Clutter emits
|
|
|
|
// two 'text-changed' signals, one for deleting the previous
|
|
|
|
// text and one for the new one - the second one is handled
|
|
|
|
// incorrectly when we remove focus
|
|
|
|
// (https://bugzilla.gnome.org/show_bug.cgi?id=636341) */
|
|
|
|
if (this._text.text != '')
|
2012-02-27 09:17:33 -05:00
|
|
|
this.reset();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
reset() {
|
2018-10-04 09:05:44 -04:00
|
|
|
// Don't drop the key focus on Clutter's side if anything but the
|
|
|
|
// overview has pushed a modal (e.g. system modals when activated using
|
|
|
|
// the overview).
|
|
|
|
if (Main.modalCount <= 1)
|
|
|
|
global.stage.set_key_focus(null);
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2012-02-27 09:17:33 -05:00
|
|
|
this._entry.text = '';
|
|
|
|
|
2011-02-16 13:20:03 -05:00
|
|
|
this._text.set_cursor_visible(true);
|
|
|
|
this._text.set_selection(0, 0);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onStageKeyFocusChanged() {
|
2011-02-16 13:20:03 -05:00
|
|
|
let focus = global.stage.get_key_focus();
|
2019-08-19 15:38:51 -04:00
|
|
|
let appearFocused = this._entry.contains(focus) ||
|
|
|
|
this._searchResults.contains(focus);
|
2012-02-27 12:43:59 -05:00
|
|
|
|
2012-03-09 23:50:17 -05:00
|
|
|
this._text.set_cursor_visible(appearFocused);
|
|
|
|
|
|
|
|
if (appearFocused)
|
|
|
|
this._entry.add_style_pseudo_class('focus');
|
|
|
|
else
|
|
|
|
this._entry.remove_style_pseudo_class('focus');
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onMapped() {
|
2011-02-16 13:20:03 -05:00
|
|
|
if (this._entry.mapped) {
|
|
|
|
// Enable 'find-as-you-type'
|
|
|
|
this._capturedEventId = global.stage.connect('captured-event',
|
2019-01-29 14:36:54 -05:00
|
|
|
this._onCapturedEvent.bind(this));
|
2011-02-16 13:20:03 -05:00
|
|
|
this._text.set_cursor_visible(true);
|
|
|
|
this._text.set_selection(0, 0);
|
|
|
|
} else {
|
|
|
|
// Disable 'find-as-you-type'
|
|
|
|
if (this._capturedEventId > 0)
|
|
|
|
global.stage.disconnect(this._capturedEventId);
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_shouldTriggerSearch(symbol) {
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_Multi_key)
|
2015-08-07 09:16:58 -04:00
|
|
|
return true;
|
|
|
|
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_BackSpace && this._searchActive)
|
2015-08-07 08:37:04 -04:00
|
|
|
return true;
|
|
|
|
|
2013-02-22 14:56:24 -05:00
|
|
|
let unicode = Clutter.keysym_to_unicode(symbol);
|
|
|
|
if (unicode == 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
if (getTermsForSearchString(String.fromCharCode(unicode)).length > 0)
|
|
|
|
return true;
|
|
|
|
|
2015-08-07 08:37:04 -04:00
|
|
|
return false;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2013-02-22 14:56:24 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
startSearch(event) {
|
2011-02-16 13:27:05 -05:00
|
|
|
global.stage.set_key_focus(this._text);
|
2014-07-09 06:06:40 -04:00
|
|
|
|
|
|
|
let synthEvent = event.copy();
|
|
|
|
synthEvent.set_source(this._text);
|
2018-02-27 17:34:09 -05:00
|
|
|
this._text.event(synthEvent, false);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:27:05 -05:00
|
|
|
|
2011-02-16 13:20:03 -05:00
|
|
|
// the entry does not show the hint
|
2017-10-30 20:03:21 -04:00
|
|
|
_isActivated() {
|
2011-02-16 13:20:03 -05:00
|
|
|
return this._text.text == this._entry.get_text();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2019-02-04 06:30:53 -05:00
|
|
|
_onTextChanged() {
|
2013-02-08 21:05:15 -05:00
|
|
|
let terms = getTermsForSearchString(this._entry.get_text());
|
|
|
|
|
2019-08-19 15:38:51 -04:00
|
|
|
this._searchActive = terms.length > 0;
|
2014-09-11 17:15:50 -04:00
|
|
|
this._searchResults.setTerms(terms);
|
2012-08-24 12:24:49 -04:00
|
|
|
|
|
|
|
if (this._searchActive) {
|
2014-09-11 17:15:50 -04:00
|
|
|
this._showPage(this._searchPage);
|
|
|
|
|
2013-03-03 13:56:12 -05:00
|
|
|
this._entry.set_secondary_icon(this._clearIcon);
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2019-08-19 20:51:42 -04:00
|
|
|
if (this._iconClickedId == 0) {
|
2011-02-16 13:20:03 -05:00
|
|
|
this._iconClickedId = this._entry.connect('secondary-icon-clicked',
|
2019-01-29 14:36:54 -05:00
|
|
|
this.reset.bind(this));
|
2019-08-19 20:51:42 -04:00
|
|
|
}
|
2010-11-18 07:51:47 -05:00
|
|
|
} else {
|
2012-08-24 12:24:49 -04:00
|
|
|
if (this._iconClickedId > 0) {
|
2011-02-16 13:20:03 -05:00
|
|
|
this._entry.disconnect(this._iconClickedId);
|
2012-08-24 12:24:49 -04:00
|
|
|
this._iconClickedId = 0;
|
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2013-03-03 13:56:12 -05:00
|
|
|
this._entry.set_secondary_icon(null);
|
2012-08-24 12:24:49 -04:00
|
|
|
this._searchCancelled();
|
2010-11-18 07:51:47 -05:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onKeyPress(entry, event) {
|
2010-11-18 07:51:47 -05:00
|
|
|
let symbol = event.get_key_symbol();
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_Escape) {
|
2011-02-16 13:27:05 -05:00
|
|
|
if (this._isActivated()) {
|
2012-02-27 09:17:33 -05:00
|
|
|
this.reset();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2011-02-16 13:27:05 -05:00
|
|
|
}
|
2012-08-24 12:24:49 -04:00
|
|
|
} else if (this._searchActive) {
|
2012-03-09 21:40:46 -05:00
|
|
|
let arrowNext, nextDirection;
|
|
|
|
if (entry.get_text_direction() == Clutter.TextDirection.RTL) {
|
2019-11-05 14:37:28 -05:00
|
|
|
arrowNext = Clutter.KEY_Left;
|
2018-11-27 07:58:25 -05:00
|
|
|
nextDirection = St.DirectionType.LEFT;
|
2012-03-09 21:40:46 -05:00
|
|
|
} else {
|
2019-11-05 14:37:28 -05:00
|
|
|
arrowNext = Clutter.KEY_Right;
|
2018-11-27 07:58:25 -05:00
|
|
|
nextDirection = St.DirectionType.RIGHT;
|
2012-03-09 21:40:46 -05:00
|
|
|
}
|
|
|
|
|
2019-11-05 14:37:28 -05:00
|
|
|
if (symbol === Clutter.KEY_Tab) {
|
2018-11-27 07:58:25 -05:00
|
|
|
this._searchResults.navigateFocus(St.DirectionType.TAB_FORWARD);
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2019-11-05 14:37:28 -05:00
|
|
|
} else if (symbol === Clutter.KEY_ISO_Left_Tab) {
|
2011-11-11 23:40:56 -05:00
|
|
|
this._focusTrap.can_focus = false;
|
2018-11-27 07:58:25 -05:00
|
|
|
this._searchResults.navigateFocus(St.DirectionType.TAB_BACKWARD);
|
2011-11-11 23:40:56 -05:00
|
|
|
this._focusTrap.can_focus = true;
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2019-11-05 14:37:28 -05:00
|
|
|
} else if (symbol === Clutter.KEY_Down) {
|
2018-11-27 07:58:25 -05:00
|
|
|
this._searchResults.navigateFocus(St.DirectionType.DOWN);
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2012-03-09 21:40:46 -05:00
|
|
|
} else if (symbol == arrowNext && this._text.position == -1) {
|
|
|
|
this._searchResults.navigateFocus(nextDirection);
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2019-11-05 14:37:28 -05:00
|
|
|
} else if (symbol === Clutter.KEY_Return || symbol === Clutter.KEY_KP_Enter) {
|
2013-01-27 14:00:59 -05:00
|
|
|
this._searchResults.activateDefault();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2011-11-11 23:40:56 -05:00
|
|
|
}
|
2010-11-18 07:51:47 -05:00
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-11-18 07:51:47 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onCapturedEvent(actor, event) {
|
2011-02-16 13:27:05 -05:00
|
|
|
if (event.type() == Clutter.EventType.BUTTON_PRESS) {
|
|
|
|
let source = event.get_source();
|
2015-02-26 13:21:52 -05:00
|
|
|
if (source != this._text &&
|
2019-08-18 06:49:42 -04:00
|
|
|
this._text.has_key_focus() &&
|
2015-02-26 13:21:52 -05:00
|
|
|
this._text.text == '' &&
|
2019-08-19 13:55:49 -04:00
|
|
|
!this._text.has_preedit() &&
|
2011-10-09 16:24:59 -04:00
|
|
|
!Main.layoutManager.keyboardBox.contains(source)) {
|
2011-02-16 13:20:03 -05:00
|
|
|
// the user clicked outside after activating the entry, but
|
2011-10-09 16:24:59 -04:00
|
|
|
// with no search term entered and no keyboard button pressed
|
|
|
|
// - cancel the search
|
2012-02-27 09:17:33 -05:00
|
|
|
this.reset();
|
2011-02-16 13:27:05 -05:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
}
|
2011-02-16 13:44:03 -05:00
|
|
|
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-02-16 13:20:03 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
getActivePage() {
|
2020-12-12 10:57:15 -05:00
|
|
|
if (this._activePage === this._activitiesPage)
|
|
|
|
return ViewPage.ACTIVITIES;
|
2013-02-13 16:13:14 -05:00
|
|
|
else
|
|
|
|
return ViewPage.SEARCH;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2019-07-16 05:24:13 -04:00
|
|
|
});
|