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 LookingGlass */
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2019-02-08 22:21:36 -05:00
|
|
|
const { Clutter, Cogl, Gio, GLib,
|
|
|
|
GObject, Meta, Pango, Shell, St } = imports.gi;
|
2009-08-02 03:46:01 -04:00
|
|
|
const Mainloop = imports.mainloop;
|
2019-02-08 22:21:36 -05:00
|
|
|
const Signals = imports.signals;
|
2012-07-12 19:59:52 -04:00
|
|
|
const System = imports.system;
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2011-02-13 11:43:32 -05:00
|
|
|
const History = imports.misc.history;
|
2012-01-30 20:58:29 -05:00
|
|
|
const ExtensionUtils = imports.misc.extensionUtils;
|
2011-10-11 18:38:24 -04:00
|
|
|
const ShellEntry = imports.ui.shellEntry;
|
2009-08-02 03:46:01 -04:00
|
|
|
const Main = imports.ui.main;
|
2011-10-29 04:20:49 -04:00
|
|
|
const JsParse = imports.misc.jsParse;
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2019-07-06 09:31:57 -04:00
|
|
|
const { ExtensionState } = ExtensionUtils;
|
|
|
|
|
2012-07-14 18:24:10 -04:00
|
|
|
const CHEVRON = '>>> ';
|
|
|
|
|
2009-09-10 01:38:13 -04:00
|
|
|
/* Imports...feel free to add here as needed */
|
2019-02-08 22:56:58 -05:00
|
|
|
var commandHeader = 'const { Clutter, Gio, GLib, GObject, Meta, Shell, St } = imports.gi; ' +
|
2010-05-13 15:46:04 -04:00
|
|
|
'const Main = imports.ui.main; ' +
|
2019-02-08 22:21:36 -05:00
|
|
|
'const Mainloop = imports.mainloop; ' +
|
2009-08-02 03:46:01 -04:00
|
|
|
/* Utility functions...we should probably be able to use these
|
|
|
|
* in the shell core code too. */
|
2010-05-13 15:46:04 -04:00
|
|
|
'const stage = global.stage; ' +
|
2009-08-02 03:46:01 -04:00
|
|
|
/* Special lookingGlass functions */
|
2017-12-01 19:27:35 -05:00
|
|
|
'const inspect = Main.lookingGlass.inspect.bind(Main.lookingGlass); ' +
|
2012-05-29 20:36:45 -04:00
|
|
|
'const it = Main.lookingGlass.getIt(); ' +
|
2017-12-01 19:27:35 -05:00
|
|
|
'const r = Main.lookingGlass.getResult.bind(Main.lookingGlass); ';
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2011-02-13 11:43:32 -05:00
|
|
|
const HISTORY_KEY = 'looking-glass-history';
|
2011-10-29 04:20:49 -04:00
|
|
|
// Time between tabs for them to count as a double-tab event
|
2017-07-18 13:47:27 -04:00
|
|
|
var AUTO_COMPLETE_DOUBLE_TAB_DELAY = 500;
|
2019-08-01 19:13:10 -04:00
|
|
|
var AUTO_COMPLETE_SHOW_COMPLETION_ANIMATION_DURATION = 200;
|
2017-07-18 13:47:27 -04:00
|
|
|
var AUTO_COMPLETE_GLOBAL_KEYWORDS = _getAutoCompleteGlobalKeywords();
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2018-07-20 15:46:19 -04:00
|
|
|
const LG_ANIMATION_TIME = 500;
|
|
|
|
|
2011-10-29 04:20:49 -04:00
|
|
|
function _getAutoCompleteGlobalKeywords() {
|
|
|
|
const keywords = ['true', 'false', 'null', 'new'];
|
|
|
|
// Don't add the private properties of window (i.e., ones starting with '_')
|
2017-10-30 20:38:18 -04:00
|
|
|
const windowProperties = Object.getOwnPropertyNames(window).filter(
|
|
|
|
a => a.charAt(0) != '_'
|
|
|
|
);
|
2011-10-29 04:20:49 -04:00
|
|
|
const headerProperties = JsParse.getDeclaredConstants(commandHeader);
|
|
|
|
|
|
|
|
return keywords.concat(windowProperties).concat(headerProperties);
|
|
|
|
}
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var AutoComplete = class AutoComplete {
|
|
|
|
constructor(entry) {
|
2011-10-29 04:20:49 -04:00
|
|
|
this._entry = entry;
|
2017-12-01 19:27:35 -05:00
|
|
|
this._entry.connect('key-press-event', this._entryKeyPressEvent.bind(this));
|
2011-10-29 04:20:49 -04:00
|
|
|
this._lastTabTime = global.get_current_time();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_processCompletionRequest(event) {
|
2011-10-29 04:20:49 -04:00
|
|
|
if (event.completions.length == 0) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Unique match = go ahead and complete; multiple matches + single tab = complete the common starting string;
|
|
|
|
// multiple matches + double tab = emit a suggest event with all possible options
|
|
|
|
if (event.completions.length == 1) {
|
|
|
|
this.additionalCompletionText(event.completions[0], event.attrHead);
|
|
|
|
this.emit('completion', { completion: event.completions[0], type: 'whole-word' });
|
|
|
|
} else if (event.completions.length > 1 && event.tabType === 'single') {
|
|
|
|
let commonPrefix = JsParse.getCommonPrefix(event.completions);
|
|
|
|
|
|
|
|
if (commonPrefix.length > 0) {
|
|
|
|
this.additionalCompletionText(commonPrefix, event.attrHead);
|
|
|
|
this.emit('completion', { completion: commonPrefix, type: 'prefix' });
|
2019-01-28 20:27:05 -05:00
|
|
|
this.emit('suggest', { completions: event.completions });
|
2011-10-29 04:20:49 -04:00
|
|
|
}
|
|
|
|
} else if (event.completions.length > 1 && event.tabType === 'double') {
|
2019-01-28 20:27:05 -05:00
|
|
|
this.emit('suggest', { completions: event.completions });
|
2011-10-29 04:20:49 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_entryKeyPressEvent(actor, event) {
|
2011-10-29 04:20:49 -04:00
|
|
|
let cursorPos = this._entry.clutter_text.get_cursor_position();
|
|
|
|
let text = this._entry.get_text();
|
|
|
|
if (cursorPos != -1) {
|
|
|
|
text = text.slice(0, cursorPos);
|
|
|
|
}
|
|
|
|
if (event.get_key_symbol() == Clutter.Tab) {
|
|
|
|
let [completions, attrHead] = JsParse.getCompletions(text, commandHeader, AUTO_COMPLETE_GLOBAL_KEYWORDS);
|
|
|
|
let currTime = global.get_current_time();
|
|
|
|
if ((currTime - this._lastTabTime) < AUTO_COMPLETE_DOUBLE_TAB_DELAY) {
|
|
|
|
this._processCompletionRequest({ tabType: 'double',
|
|
|
|
completions: completions,
|
|
|
|
attrHead: attrHead });
|
|
|
|
} else {
|
|
|
|
this._processCompletionRequest({ tabType: 'single',
|
|
|
|
completions: completions,
|
|
|
|
attrHead: attrHead });
|
|
|
|
}
|
|
|
|
this._lastTabTime = currTime;
|
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-29 04:20:49 -04:00
|
|
|
|
|
|
|
// Insert characters of text not already included in head at cursor position. i.e., if text="abc" and head="a",
|
|
|
|
// the string "bc" will be appended to this._entry
|
2017-10-30 20:03:21 -04:00
|
|
|
additionalCompletionText(text, head) {
|
2011-10-29 04:20:49 -04:00
|
|
|
let additionalCompletionText = text.slice(head.length);
|
|
|
|
let cursorPos = this._entry.clutter_text.get_cursor_position();
|
|
|
|
|
|
|
|
this._entry.clutter_text.insert_text(additionalCompletionText, cursorPos);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2011-10-29 04:20:49 -04:00
|
|
|
Signals.addSignalMethods(AutoComplete.prototype);
|
|
|
|
|
2011-02-13 11:43:32 -05:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var Notebook = class Notebook {
|
|
|
|
constructor() {
|
2009-09-10 01:38:13 -04:00
|
|
|
this.actor = new St.BoxLayout({ vertical: true });
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
this.tabControls = new St.BoxLayout({ style_class: 'labels' });
|
2009-08-04 09:49:03 -04:00
|
|
|
|
|
|
|
this._selectedIndex = -1;
|
|
|
|
this._tabs = [];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
appendPage(name, child) {
|
2010-05-15 12:43:56 -04:00
|
|
|
let labelBox = new St.BoxLayout({ style_class: 'notebook-tab',
|
|
|
|
reactive: true,
|
|
|
|
track_hover: true });
|
2009-10-27 13:27:00 -04:00
|
|
|
let label = new St.Button({ label: name });
|
2017-10-30 20:38:18 -04:00
|
|
|
label.connect('clicked', () => {
|
2009-08-04 09:49:03 -04:00
|
|
|
this.selectChild(child);
|
|
|
|
return true;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2009-09-10 01:38:13 -04:00
|
|
|
labelBox.add(label, { expand: true });
|
2009-10-27 13:27:00 -04:00
|
|
|
this.tabControls.add(labelBox);
|
2009-09-10 01:38:13 -04:00
|
|
|
|
|
|
|
let scrollview = new St.ScrollView({ x_fill: true, y_fill: true });
|
|
|
|
scrollview.get_hscroll_bar().hide();
|
|
|
|
scrollview.add_actor(child);
|
|
|
|
|
2009-10-08 20:11:45 -04:00
|
|
|
let tabData = { child: child,
|
|
|
|
labelBox: labelBox,
|
2009-10-27 13:27:00 -04:00
|
|
|
label: label,
|
2009-10-08 20:11:45 -04:00
|
|
|
scrollView: scrollview,
|
|
|
|
_scrollToBottom: false };
|
|
|
|
this._tabs.push(tabData);
|
2009-09-10 01:38:13 -04:00
|
|
|
scrollview.hide();
|
|
|
|
this.actor.add(scrollview, { expand: true });
|
|
|
|
|
2009-10-08 20:11:45 -04:00
|
|
|
let vAdjust = scrollview.vscroll.adjustment;
|
2019-01-27 19:42:00 -05:00
|
|
|
vAdjust.connect('changed', () => this._onAdjustScopeChanged(tabData));
|
|
|
|
vAdjust.connect('notify::value', () => this._onAdjustValueChanged(tabData));
|
2009-10-08 20:11:45 -04:00
|
|
|
|
2009-08-04 09:49:03 -04:00
|
|
|
if (this._selectedIndex == -1)
|
|
|
|
this.selectIndex(0);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_unselect() {
|
2009-08-04 09:49:03 -04:00
|
|
|
if (this._selectedIndex < 0)
|
|
|
|
return;
|
2009-10-08 20:11:45 -04:00
|
|
|
let tabData = this._tabs[this._selectedIndex];
|
2010-03-19 11:37:04 -04:00
|
|
|
tabData.labelBox.remove_style_pseudo_class('selected');
|
2009-10-08 20:11:45 -04:00
|
|
|
tabData.scrollView.hide();
|
2009-08-04 09:49:03 -04:00
|
|
|
this._selectedIndex = -1;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
selectIndex(index) {
|
2009-08-04 09:49:03 -04:00
|
|
|
if (index == this._selectedIndex)
|
|
|
|
return;
|
|
|
|
if (index < 0) {
|
2011-04-20 12:41:22 -04:00
|
|
|
this._unselect();
|
2009-08-04 09:49:03 -04:00
|
|
|
this.emit('selection', null);
|
|
|
|
return;
|
|
|
|
}
|
2011-04-20 12:41:22 -04:00
|
|
|
|
|
|
|
// Focus the new tab before unmapping the old one
|
2009-10-08 20:11:45 -04:00
|
|
|
let tabData = this._tabs[index];
|
2018-11-27 07:58:25 -05:00
|
|
|
if (!tabData.scrollView.navigate_focus(null, St.DirectionType.TAB_FORWARD, false))
|
2011-04-20 12:41:22 -04:00
|
|
|
this.actor.grab_key_focus();
|
|
|
|
|
|
|
|
this._unselect();
|
|
|
|
|
2010-03-19 11:37:04 -04:00
|
|
|
tabData.labelBox.add_style_pseudo_class('selected');
|
2009-10-08 20:11:45 -04:00
|
|
|
tabData.scrollView.show();
|
2009-08-04 09:49:03 -04:00
|
|
|
this._selectedIndex = index;
|
2009-10-08 20:11:45 -04:00
|
|
|
this.emit('selection', tabData.child);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
selectChild(child) {
|
2019-01-29 16:02:57 -05:00
|
|
|
if (child == null) {
|
2009-08-04 09:49:03 -04:00
|
|
|
this.selectIndex(-1);
|
2019-01-29 16:02:57 -05:00
|
|
|
} else {
|
2009-08-04 09:49:03 -04:00
|
|
|
for (let i = 0; i < this._tabs.length; i++) {
|
2009-10-08 20:11:45 -04:00
|
|
|
let tabData = this._tabs[i];
|
|
|
|
if (tabData.child == child) {
|
2009-08-04 09:49:03 -04:00
|
|
|
this.selectIndex(i);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-08 20:11:45 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
scrollToBottom(index) {
|
2009-10-08 20:11:45 -04:00
|
|
|
let tabData = this._tabs[index];
|
|
|
|
tabData._scrollToBottom = true;
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-08 20:11:45 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onAdjustValueChanged(tabData) {
|
2009-10-08 20:11:45 -04:00
|
|
|
let vAdjust = tabData.scrollView.vscroll.adjustment;
|
|
|
|
if (vAdjust.value < (vAdjust.upper - vAdjust.lower - 0.5))
|
|
|
|
tabData._scrolltoBottom = false;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-08 20:11:45 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onAdjustScopeChanged(tabData) {
|
2009-10-08 20:11:45 -04:00
|
|
|
if (!tabData._scrollToBottom)
|
|
|
|
return;
|
|
|
|
let vAdjust = tabData.scrollView.vscroll.adjustment;
|
|
|
|
vAdjust.value = vAdjust.upper - vAdjust.page_size;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-21 01:23:08 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
nextTab() {
|
2011-10-21 01:23:08 -04:00
|
|
|
let nextIndex = this._selectedIndex;
|
|
|
|
if (nextIndex < this._tabs.length - 1) {
|
|
|
|
++nextIndex;
|
|
|
|
}
|
|
|
|
|
|
|
|
this.selectIndex(nextIndex);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-21 01:23:08 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
prevTab() {
|
2011-10-21 01:23:08 -04:00
|
|
|
let prevIndex = this._selectedIndex;
|
|
|
|
if (prevIndex > 0) {
|
|
|
|
--prevIndex;
|
|
|
|
}
|
|
|
|
|
|
|
|
this.selectIndex(prevIndex);
|
2009-08-04 09:49:03 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-08-04 09:49:03 -04:00
|
|
|
Signals.addSignalMethods(Notebook.prototype);
|
|
|
|
|
2010-05-15 12:43:56 -04:00
|
|
|
function objectToString(o) {
|
|
|
|
if (typeof(o) == typeof(objectToString)) {
|
|
|
|
// special case this since the default is way, way too verbose
|
2011-09-30 17:30:47 -04:00
|
|
|
return '<js function>';
|
2010-05-15 12:43:56 -04:00
|
|
|
} else {
|
2019-01-29 18:01:21 -05:00
|
|
|
return `${o}`;
|
2010-05-15 12:43:56 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var ObjLink = class ObjLink {
|
|
|
|
constructor(lookingGlass, o, title) {
|
2010-05-15 12:43:56 -04:00
|
|
|
let text;
|
|
|
|
if (title)
|
|
|
|
text = title;
|
|
|
|
else
|
|
|
|
text = objectToString(o);
|
|
|
|
text = GLib.markup_escape_text(text, -1);
|
|
|
|
this._obj = o;
|
2011-11-20 11:07:14 -05:00
|
|
|
|
2012-07-14 18:49:06 -04:00
|
|
|
this.actor = new St.Button({ reactive: true,
|
|
|
|
track_hover: true,
|
|
|
|
style_class: 'shell-link',
|
|
|
|
label: text });
|
2010-05-15 12:43:56 -04:00
|
|
|
this.actor.get_child().single_line_mode = true;
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('clicked', this._onClicked.bind(this));
|
2012-07-14 19:29:55 -04:00
|
|
|
|
|
|
|
this._lookingGlass = lookingGlass;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2019-02-04 06:30:53 -05:00
|
|
|
_onClicked() {
|
2012-07-14 19:29:55 -04:00
|
|
|
this._lookingGlass.inspectObject(this._obj, this.actor);
|
2010-05-15 12:43:56 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var Result = class Result {
|
|
|
|
constructor(lookingGlass, command, o, index) {
|
2009-08-02 03:46:01 -04:00
|
|
|
this.index = index;
|
|
|
|
this.o = o;
|
|
|
|
|
2010-03-31 16:40:32 -04:00
|
|
|
this.actor = new St.BoxLayout({ vertical: true });
|
2012-07-14 19:29:55 -04:00
|
|
|
this._lookingGlass = lookingGlass;
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2009-09-10 01:38:13 -04:00
|
|
|
let cmdTxt = new St.Label({ text: command });
|
2010-05-15 12:43:56 -04:00
|
|
|
cmdTxt.clutter_text.ellipsize = Pango.EllipsizeMode.END;
|
2010-03-31 16:40:32 -04:00
|
|
|
this.actor.add(cmdTxt);
|
2010-05-15 12:43:56 -04:00
|
|
|
let box = new St.BoxLayout({});
|
|
|
|
this.actor.add(box);
|
2019-01-29 19:18:24 -05:00
|
|
|
let resultTxt = new St.Label({ text: `r(${index}) = ` });
|
2010-05-15 12:43:56 -04:00
|
|
|
resultTxt.clutter_text.ellipsize = Pango.EllipsizeMode.END;
|
|
|
|
box.add(resultTxt);
|
2012-07-14 19:29:55 -04:00
|
|
|
let objLink = new ObjLink(this._lookingGlass, o);
|
2010-05-15 12:43:56 -04:00
|
|
|
box.add(objLink.actor);
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var WindowList = class WindowList {
|
|
|
|
constructor(lookingGlass) {
|
2010-05-13 15:46:04 -04:00
|
|
|
this.actor = new St.BoxLayout({ name: 'Windows', vertical: true, style: 'spacing: 8px' });
|
2010-04-20 14:57:31 -04:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateId = Main.initializeDeferredWork(this.actor, this._updateWindowList.bind(this));
|
|
|
|
global.display.connect('window-created', this._updateWindowList.bind(this));
|
|
|
|
tracker.connect('tracked-windows-changed', this._updateWindowList.bind(this));
|
2012-07-14 19:29:55 -04:00
|
|
|
|
|
|
|
this._lookingGlass = lookingGlass;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateWindowList() {
|
2012-05-29 20:36:45 -04:00
|
|
|
this.actor.destroy_all_children();
|
2010-10-19 14:55:43 -04:00
|
|
|
let windows = global.get_window_actors();
|
2010-04-20 14:57:31 -04:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
|
|
|
for (let i = 0; i < windows.length; i++) {
|
|
|
|
let metaWindow = windows[i].metaWindow;
|
2010-05-30 16:48:41 -04:00
|
|
|
// Avoid multiple connections
|
|
|
|
if (!metaWindow._lookingGlassManaged) {
|
2017-12-01 19:27:35 -05:00
|
|
|
metaWindow.connect('unmanaged', this._updateWindowList.bind(this));
|
2010-05-30 16:48:41 -04:00
|
|
|
metaWindow._lookingGlassManaged = true;
|
|
|
|
}
|
2010-04-20 14:57:31 -04:00
|
|
|
let box = new St.BoxLayout({ vertical: true });
|
|
|
|
this.actor.add(box);
|
2012-07-14 19:29:55 -04:00
|
|
|
let windowLink = new ObjLink(this._lookingGlass, metaWindow, metaWindow.title);
|
2010-05-15 12:43:56 -04:00
|
|
|
box.add(windowLink.actor, { x_align: St.Align.START, x_fill: false });
|
2010-04-20 14:57:31 -04:00
|
|
|
let propsBox = new St.BoxLayout({ vertical: true, style: 'padding-left: 6px;' });
|
|
|
|
box.add(propsBox);
|
2019-01-29 19:18:24 -05:00
|
|
|
propsBox.add(new St.Label({ text: `wmclass: ${metaWindow.get_wm_class()}` }));
|
2010-04-20 14:57:31 -04:00
|
|
|
let app = tracker.get_window_app(metaWindow);
|
Kill off ShellAppInfo, move into ShellApp
This dramatically thins down and sanitizes the application code.
The ShellAppSystem changes in a number of ways:
* Preferences are special cased more explicitly; they aren't apps,
they're shortcuts for an app), and we don't have many of them, so
don't need e.g. the optimizations in ShellAppSystem for searching.
* get_app() changes to lookup_app() and returns null if an app isn't
found. The semantics where it tried to find the .desktop file
if we didn't know about it were just broken; I am pretty sure no
caller needs this, and if they do we'll fix them.
* ShellAppSystem maintains two indexes on apps (by desktop file id
and by GMenuTreeEntry), but is no longer in the business of
dealing with GMenuTree as far as hierarchy and categories go. That
is moved up into js/ui/appDisplay.js. Actually, it flattens both
apps and settings.
Also, ShellWindowTracker is now the sole reference-owner for
window-backed apps. We still do the weird "window:0x1234beef" id
for these apps, but a reference is not stored in ShellAppSystem.
The js/ui/appDisplay.js code is rewritten, and sucks a lot less.
Variable names are clearer:
_apps -> _appIcons
_filterApp -> _visibleApps
_filters -> _categoryBox
Similarly for function names. We no longer call (for every app) a
recursive lookup in GMenuTree to see if it's in a particular section
on every category switch; it's all cached.
NOTE - this intentionally reverts the incremental loading code from
commit 7813c5b93f6bcde8c4beae286e82bfc472b2b656. It's fast enough
here without that.
https://bugzilla.gnome.org/show_bug.cgi?id=648149
2011-04-21 13:35:01 -04:00
|
|
|
if (app != null && !app.is_window_backed()) {
|
2010-04-20 14:57:31 -04:00
|
|
|
let icon = app.create_icon_texture(22);
|
|
|
|
let propBox = new St.BoxLayout({ style: 'spacing: 6px; ' });
|
|
|
|
propsBox.add(propBox);
|
2010-05-15 12:43:56 -04:00
|
|
|
propBox.add(new St.Label({ text: 'app: ' }), { y_fill: false });
|
2012-07-14 19:29:55 -04:00
|
|
|
let appLink = new ObjLink(this._lookingGlass, app, app.get_id());
|
2010-05-15 12:43:56 -04:00
|
|
|
propBox.add(appLink.actor, { y_fill: false });
|
|
|
|
propBox.add(icon, { y_fill: false });
|
2010-04-20 14:57:31 -04:00
|
|
|
} else {
|
2010-05-13 15:46:04 -04:00
|
|
|
propsBox.add(new St.Label({ text: '<untracked>' }));
|
2010-04-20 14:57:31 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2010-04-20 14:57:31 -04:00
|
|
|
Signals.addSignalMethods(WindowList.prototype);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var ObjInspector = class ObjInspector {
|
|
|
|
constructor(lookingGlass) {
|
2010-05-15 12:43:56 -04:00
|
|
|
this._obj = null;
|
|
|
|
this._previousObj = null;
|
2009-08-02 03:46:01 -04:00
|
|
|
|
|
|
|
this._parentList = [];
|
|
|
|
|
2012-09-05 15:23:54 -04:00
|
|
|
this.actor = new St.ScrollView({ pivot_point: new Clutter.Point({ x: 0.5, y: 0.5 }),
|
|
|
|
x_fill: true, y_fill: true });
|
2010-05-15 12:43:56 -04:00
|
|
|
this.actor.get_hscroll_bar().hide();
|
|
|
|
this._container = new St.BoxLayout({ name: 'LookingGlassPropertyInspector',
|
|
|
|
style_class: 'lg-dialog',
|
|
|
|
vertical: true });
|
|
|
|
this.actor.add_actor(this._container);
|
2012-07-14 19:29:55 -04:00
|
|
|
|
|
|
|
this._lookingGlass = lookingGlass;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
selectObject(obj, skipPrevious) {
|
2010-05-15 12:43:56 -04:00
|
|
|
if (!skipPrevious)
|
|
|
|
this._previousObj = this._obj;
|
|
|
|
else
|
|
|
|
this._previousObj = null;
|
|
|
|
this._obj = obj;
|
|
|
|
|
2012-05-29 20:36:45 -04:00
|
|
|
this._container.destroy_all_children();
|
2010-05-15 12:43:56 -04:00
|
|
|
|
|
|
|
let hbox = new St.BoxLayout({ style_class: 'lg-obj-inspector-title' });
|
|
|
|
this._container.add_actor(hbox);
|
|
|
|
let label = new St.Label({ text: 'Inspecting: %s: %s'.format(typeof(obj),
|
|
|
|
objectToString(obj)) });
|
|
|
|
label.single_line_mode = true;
|
|
|
|
hbox.add(label, { expand: true, y_fill: false });
|
|
|
|
let button = new St.Button({ label: 'Insert', style_class: 'lg-obj-inspector-button' });
|
2017-12-01 19:27:35 -05:00
|
|
|
button.connect('clicked', this._onInsert.bind(this));
|
2010-05-15 12:43:56 -04:00
|
|
|
hbox.add(button);
|
|
|
|
|
|
|
|
if (this._previousObj != null) {
|
|
|
|
button = new St.Button({ label: 'Back', style_class: 'lg-obj-inspector-button' });
|
2017-12-01 19:27:35 -05:00
|
|
|
button.connect('clicked', this._onBack.bind(this));
|
2010-05-15 12:43:56 -04:00
|
|
|
hbox.add(button);
|
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2010-05-15 12:43:56 -04:00
|
|
|
button = new St.Button({ style_class: 'window-close' });
|
2019-02-28 10:20:47 -05:00
|
|
|
button.add_actor(new St.Icon({ icon_name: 'window-close-symbolic' }));
|
2017-12-01 19:27:35 -05:00
|
|
|
button.connect('clicked', this.close.bind(this));
|
2010-05-15 12:43:56 -04:00
|
|
|
hbox.add(button);
|
|
|
|
if (typeof(obj) == typeof({})) {
|
2012-03-30 11:15:33 -04:00
|
|
|
let properties = [];
|
2010-05-15 12:43:56 -04:00
|
|
|
for (let propName in obj) {
|
2012-03-30 11:15:33 -04:00
|
|
|
properties.push(propName);
|
|
|
|
}
|
|
|
|
properties.sort();
|
|
|
|
|
|
|
|
for (let i = 0; i < properties.length; i++) {
|
|
|
|
let propName = properties[i];
|
2010-05-15 12:43:56 -04:00
|
|
|
let link;
|
|
|
|
try {
|
|
|
|
let prop = obj[propName];
|
2012-07-14 19:29:55 -04:00
|
|
|
link = new ObjLink(this._lookingGlass, prop).actor;
|
2010-05-15 12:43:56 -04:00
|
|
|
} catch (e) {
|
|
|
|
link = new St.Label({ text: '<error>' });
|
|
|
|
}
|
|
|
|
let hbox = new St.BoxLayout();
|
2019-01-29 19:18:24 -05:00
|
|
|
hbox.add(new St.Label({ text: `${propName}: ` }));
|
2010-05-15 12:43:56 -04:00
|
|
|
hbox.add(link);
|
|
|
|
this._container.add_actor(hbox);
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
open(sourceActor) {
|
2010-05-15 12:43:56 -04:00
|
|
|
if (this._open)
|
|
|
|
return;
|
|
|
|
this._previousObj = null;
|
|
|
|
this._open = true;
|
|
|
|
this.actor.show();
|
|
|
|
if (sourceActor) {
|
|
|
|
this.actor.set_scale(0, 0);
|
2018-07-20 15:46:19 -04:00
|
|
|
this.actor.ease({
|
|
|
|
scale_x: 1,
|
|
|
|
scale_y: 1,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
time: 200
|
|
|
|
});
|
2010-05-15 12:43:56 -04:00
|
|
|
} else {
|
|
|
|
this.actor.set_scale(1, 1);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
close() {
|
2010-05-15 12:43:56 -04:00
|
|
|
if (!this._open)
|
|
|
|
return;
|
|
|
|
this._open = false;
|
|
|
|
this.actor.hide();
|
|
|
|
this._previousObj = null;
|
|
|
|
this._obj = null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onInsert() {
|
2010-05-15 12:43:56 -04:00
|
|
|
let obj = this._obj;
|
|
|
|
this.close();
|
2012-07-14 19:29:55 -04:00
|
|
|
this._lookingGlass.insertObject(obj);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onBack() {
|
2010-05-15 12:43:56 -04:00
|
|
|
this.selectObject(this._previousObj, true);
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var RedBorderEffect = GObject.registerClass(
|
|
|
|
class RedBorderEffect extends Clutter.Effect {
|
2017-10-30 20:03:21 -04:00
|
|
|
vfunc_paint() {
|
2012-06-21 14:42:33 -04:00
|
|
|
let actor = this.get_actor();
|
|
|
|
actor.continue_paint();
|
|
|
|
|
|
|
|
let color = new Cogl.Color();
|
|
|
|
color.init_from_4ub(0xff, 0, 0, 0xc4);
|
|
|
|
Cogl.set_source_color(color);
|
|
|
|
|
|
|
|
let geom = actor.get_allocation_geometry();
|
|
|
|
let width = 2;
|
|
|
|
|
|
|
|
// clockwise order
|
|
|
|
Cogl.rectangle(0, 0, geom.width, width);
|
|
|
|
Cogl.rectangle(geom.width - width, width,
|
|
|
|
geom.width, geom.height);
|
|
|
|
Cogl.rectangle(0, geom.height,
|
|
|
|
geom.width - width, geom.height - width);
|
|
|
|
Cogl.rectangle(0, geom.height - width,
|
|
|
|
width, width);
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2012-06-21 14:42:33 -04:00
|
|
|
});
|
2011-02-10 14:35:33 -05:00
|
|
|
|
2017-10-30 21:23:39 -04:00
|
|
|
var Inspector = GObject.registerClass({
|
2018-07-09 03:49:37 -04:00
|
|
|
Signals: { 'closed': {},
|
|
|
|
'target': { param_types: [Clutter.Actor.$gtype, GObject.TYPE_DOUBLE, GObject.TYPE_DOUBLE] } },
|
2017-10-30 21:23:39 -04:00
|
|
|
}, class Inspector extends Clutter.Actor {
|
2017-10-30 20:03:21 -04:00
|
|
|
_init(lookingGlass) {
|
2017-10-30 21:23:39 -04:00
|
|
|
super._init({ width: 0,
|
2018-07-09 03:49:37 -04:00
|
|
|
height: 0 });
|
|
|
|
|
|
|
|
Main.uiGroup.add_actor(this);
|
2010-07-21 11:50:58 -04:00
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
let eventHandler = new St.BoxLayout({ name: 'LookingGlassDialog',
|
2009-09-10 01:38:13 -04:00
|
|
|
vertical: false,
|
|
|
|
reactive: true });
|
2010-07-21 11:08:15 -04:00
|
|
|
this._eventHandler = eventHandler;
|
2018-07-09 03:49:37 -04:00
|
|
|
this.add_actor(eventHandler);
|
2010-07-21 11:08:15 -04:00
|
|
|
this._displayText = new St.Label();
|
|
|
|
eventHandler.add(this._displayText, { expand: true });
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
eventHandler.connect('key-press-event', this._onKeyPressEvent.bind(this));
|
|
|
|
eventHandler.connect('button-press-event', this._onButtonPressEvent.bind(this));
|
|
|
|
eventHandler.connect('scroll-event', this._onScrollEvent.bind(this));
|
|
|
|
eventHandler.connect('motion-event', this._onMotionEvent.bind(this));
|
2019-04-14 12:32:11 -04:00
|
|
|
|
|
|
|
let dm = Clutter.DeviceManager.get_default();
|
|
|
|
this._pointerDevice = dm.get_core_device(Clutter.InputDeviceType.POINTER_DEVICE);
|
|
|
|
this._keyboardDevice = dm.get_core_device(Clutter.InputDeviceType.KEYBOARD_DEVICE);
|
|
|
|
|
|
|
|
this._pointerDevice.grab(eventHandler);
|
|
|
|
this._keyboardDevice.grab(eventHandler);
|
2010-07-21 11:29:05 -04:00
|
|
|
|
|
|
|
// this._target is the actor currently shown by the inspector.
|
|
|
|
// this._pointerTarget is the actor directly under the pointer.
|
|
|
|
// Normally these are the same, but if you use the scroll wheel
|
|
|
|
// to drill down, they'll diverge until you either scroll back
|
|
|
|
// out, or move the pointer outside of _pointerTarget.
|
|
|
|
this._target = null;
|
|
|
|
this._pointerTarget = null;
|
2012-07-14 19:29:55 -04:00
|
|
|
|
|
|
|
this._lookingGlass = lookingGlass;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:29:05 -04:00
|
|
|
|
2018-07-09 03:49:37 -04:00
|
|
|
vfunc_allocate(box, flags) {
|
|
|
|
this.set_allocation(box, flags);
|
|
|
|
|
2011-01-11 15:14:16 -05:00
|
|
|
if (!this._eventHandler)
|
|
|
|
return;
|
|
|
|
|
2011-06-13 09:54:05 -04:00
|
|
|
let primary = Main.layoutManager.primaryMonitor;
|
2010-07-21 11:50:58 -04:00
|
|
|
|
2019-02-01 08:41:55 -05:00
|
|
|
let [, , natWidth, natHeight] =
|
2010-07-21 11:50:58 -04:00
|
|
|
this._eventHandler.get_preferred_size();
|
|
|
|
|
|
|
|
let childBox = new Clutter.ActorBox();
|
|
|
|
childBox.x1 = primary.x + Math.floor((primary.width - natWidth) / 2);
|
|
|
|
childBox.x2 = childBox.x1 + natWidth;
|
|
|
|
childBox.y1 = primary.y + Math.floor((primary.height - natHeight) / 2);
|
|
|
|
childBox.y2 = childBox.y1 + natHeight;
|
|
|
|
this._eventHandler.allocate(childBox, flags);
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:50:58 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_close() {
|
2019-04-14 12:32:11 -04:00
|
|
|
this._pointerDevice.ungrab();
|
|
|
|
this._keyboardDevice.ungrab();
|
2010-07-21 11:29:05 -04:00
|
|
|
this._eventHandler.destroy();
|
2011-01-11 15:14:16 -05:00
|
|
|
this._eventHandler = null;
|
2010-07-21 11:29:05 -04:00
|
|
|
this.emit('closed');
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:08:15 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onKeyPressEvent(actor, event) {
|
2010-07-21 11:37:08 -04:00
|
|
|
if (event.get_key_symbol() == Clutter.Escape)
|
|
|
|
this._close();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:37:08 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onButtonPressEvent(actor, event) {
|
2010-07-21 11:29:05 -04:00
|
|
|
if (this._target) {
|
|
|
|
let [stageX, stageY] = event.get_coords();
|
|
|
|
this.emit('target', this._target, stageX, stageY);
|
|
|
|
}
|
|
|
|
this._close();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:08:15 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onScrollEvent(actor, event) {
|
2010-07-21 11:29:05 -04:00
|
|
|
switch (event.get_scroll_direction()) {
|
2019-01-29 18:22:10 -05:00
|
|
|
case Clutter.ScrollDirection.UP: {
|
2010-07-21 11:29:05 -04:00
|
|
|
// select parent
|
|
|
|
let parent = this._target.get_parent();
|
|
|
|
if (parent != null) {
|
|
|
|
this._target = parent;
|
|
|
|
this._update(event);
|
|
|
|
}
|
|
|
|
break;
|
2019-01-29 18:22:10 -05:00
|
|
|
}
|
2010-07-21 11:29:05 -04:00
|
|
|
|
|
|
|
case Clutter.ScrollDirection.DOWN:
|
|
|
|
// select child
|
|
|
|
if (this._target != this._pointerTarget) {
|
|
|
|
let child = this._pointerTarget;
|
|
|
|
while (child) {
|
|
|
|
let parent = child.get_parent();
|
|
|
|
if (parent == this._target)
|
|
|
|
break;
|
|
|
|
child = parent;
|
|
|
|
}
|
|
|
|
if (child) {
|
|
|
|
this._target = child;
|
|
|
|
this._update(event);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:08:15 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onMotionEvent(actor, event) {
|
2010-07-21 11:29:05 -04:00
|
|
|
this._update(event);
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:23:39 -04:00
|
|
|
}
|
2010-07-21 11:29:05 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_update(event) {
|
2010-07-21 11:08:15 -04:00
|
|
|
let [stageX, stageY] = event.get_coords();
|
|
|
|
let target = global.stage.get_actor_at_pos(Clutter.PickMode.ALL,
|
|
|
|
stageX,
|
|
|
|
stageY);
|
2010-07-21 11:29:05 -04:00
|
|
|
|
|
|
|
if (target != this._pointerTarget)
|
|
|
|
this._target = target;
|
|
|
|
this._pointerTarget = target;
|
|
|
|
|
2019-01-29 19:18:24 -05:00
|
|
|
let position = `[inspect x: ${stageX} y: ${stageY}]`;
|
2010-07-21 11:08:15 -04:00
|
|
|
this._displayText.text = '';
|
2019-01-29 19:18:24 -05:00
|
|
|
this._displayText.text = `${position} ${this._target}`;
|
2011-02-10 14:35:33 -05:00
|
|
|
|
2012-07-14 19:30:47 -04:00
|
|
|
this._lookingGlass.setBorderPaintTarget(this._target);
|
2009-08-04 09:49:03 -04:00
|
|
|
}
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var Extensions = class Extensions {
|
|
|
|
constructor(lookingGlass) {
|
2013-02-14 10:28:43 -05:00
|
|
|
this._lookingGlass = lookingGlass;
|
2009-10-28 18:05:34 -04:00
|
|
|
this.actor = new St.BoxLayout({ vertical: true,
|
|
|
|
name: 'lookingGlassExtensions' });
|
|
|
|
this._noExtensions = new St.Label({ style_class: 'lg-extensions-none',
|
2019-01-29 14:36:54 -05:00
|
|
|
text: _("No extensions installed") });
|
2011-06-11 00:21:35 -04:00
|
|
|
this._numExtensions = 0;
|
2009-10-28 18:05:34 -04:00
|
|
|
this._extensionsList = new St.BoxLayout({ vertical: true,
|
|
|
|
style_class: 'lg-extensions-list' });
|
2011-06-11 00:21:35 -04:00
|
|
|
this._extensionsList.add(this._noExtensions);
|
2009-10-28 18:05:34 -04:00
|
|
|
this.actor.add(this._extensionsList);
|
2011-06-11 00:21:35 -04:00
|
|
|
|
2019-07-07 18:01:11 -04:00
|
|
|
Main.extensionManager.getUuids().forEach(uuid => {
|
2011-06-11 00:21:35 -04:00
|
|
|
this._loadExtension(null, uuid);
|
2019-07-07 18:01:11 -04:00
|
|
|
});
|
2011-06-11 00:21:35 -04:00
|
|
|
|
2019-03-06 19:45:45 -05:00
|
|
|
Main.extensionManager.connect('extension-loaded',
|
|
|
|
this._loadExtension.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_loadExtension(o, uuid) {
|
2019-07-07 18:01:11 -04:00
|
|
|
let extension = Main.extensionManager.lookup(uuid);
|
2011-06-11 00:21:35 -04:00
|
|
|
// There can be cases where we create dummy extension metadata
|
|
|
|
// that's not really a proper extension. Don't bother with these.
|
2012-01-30 20:58:29 -05:00
|
|
|
if (!extension.metadata.name)
|
2011-06-11 00:21:35 -04:00
|
|
|
return;
|
|
|
|
|
|
|
|
let extensionDisplay = this._createExtensionDisplay(extension);
|
|
|
|
if (this._numExtensions == 0)
|
|
|
|
this._extensionsList.remove_actor(this._noExtensions);
|
|
|
|
|
|
|
|
this._numExtensions ++;
|
|
|
|
this._extensionsList.add(extensionDisplay);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onViewSource(actor) {
|
2012-01-30 20:58:29 -05:00
|
|
|
let extension = actor._extension;
|
|
|
|
let uri = extension.dir.get_uri();
|
2014-01-19 12:34:32 -05:00
|
|
|
Gio.app_info_launch_default_for_uri(uri, global.create_app_launch_context(0, -1));
|
2012-07-14 19:29:55 -04:00
|
|
|
this._lookingGlass.close();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onWebPage(actor) {
|
2012-01-30 20:58:29 -05:00
|
|
|
let extension = actor._extension;
|
2014-01-19 12:34:32 -05:00
|
|
|
Gio.app_info_launch_default_for_uri(extension.metadata.url, global.create_app_launch_context(0, -1));
|
2012-07-14 19:29:55 -04:00
|
|
|
this._lookingGlass.close();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onViewErrors(actor) {
|
2012-01-30 20:58:29 -05:00
|
|
|
let extension = actor._extension;
|
2011-09-30 03:58:44 -04:00
|
|
|
let shouldShow = !actor._isShowing;
|
|
|
|
|
|
|
|
if (shouldShow) {
|
2012-01-30 20:58:29 -05:00
|
|
|
let errors = extension.errors;
|
2011-09-30 03:58:44 -04:00
|
|
|
let errorDisplay = new St.BoxLayout({ vertical: true });
|
|
|
|
if (errors && errors.length) {
|
|
|
|
for (let i = 0; i < errors.length; i ++)
|
|
|
|
errorDisplay.add(new St.Label({ text: errors[i] }));
|
|
|
|
} else {
|
|
|
|
/* Translators: argument is an extension UUID. */
|
2012-02-08 12:59:02 -05:00
|
|
|
let message = _("%s has not emitted any errors.").format(extension.uuid);
|
2011-09-30 03:58:44 -04:00
|
|
|
errorDisplay.add(new St.Label({ text: message }));
|
|
|
|
}
|
|
|
|
|
|
|
|
actor._errorDisplay = errorDisplay;
|
|
|
|
actor._parentBox.add(errorDisplay);
|
|
|
|
actor.label = _("Hide Errors");
|
|
|
|
} else {
|
|
|
|
actor._errorDisplay.destroy();
|
|
|
|
actor._errorDisplay = null;
|
|
|
|
actor.label = _("Show Errors");
|
|
|
|
}
|
|
|
|
|
|
|
|
actor._isShowing = shouldShow;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-09-30 03:58:44 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_stateToString(extensionState) {
|
2009-10-28 18:05:34 -04:00
|
|
|
switch (extensionState) {
|
2019-07-06 09:31:57 -04:00
|
|
|
case ExtensionState.ENABLED:
|
2019-02-01 07:21:00 -05:00
|
|
|
return _("Enabled");
|
2019-07-06 09:31:57 -04:00
|
|
|
case ExtensionState.DISABLED:
|
|
|
|
case ExtensionState.INITIALIZED:
|
2019-02-01 07:21:00 -05:00
|
|
|
return _("Disabled");
|
2019-07-06 09:31:57 -04:00
|
|
|
case ExtensionState.ERROR:
|
2019-02-01 07:21:00 -05:00
|
|
|
return _("Error");
|
2019-07-06 09:31:57 -04:00
|
|
|
case ExtensionState.OUT_OF_DATE:
|
2019-02-01 07:21:00 -05:00
|
|
|
return _("Out of date");
|
2019-07-06 09:31:57 -04:00
|
|
|
case ExtensionState.DOWNLOADING:
|
2019-02-01 07:21:00 -05:00
|
|
|
return _("Downloading");
|
2009-10-28 18:05:34 -04:00
|
|
|
}
|
2010-05-13 15:46:04 -04:00
|
|
|
return 'Unknown'; // Not translated, shouldn't appear
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_createExtensionDisplay(extension) {
|
2009-10-28 18:05:34 -04:00
|
|
|
let box = new St.BoxLayout({ style_class: 'lg-extension', vertical: true });
|
|
|
|
let name = new St.Label({ style_class: 'lg-extension-name',
|
2019-01-29 14:36:54 -05:00
|
|
|
text: extension.metadata.name });
|
2009-10-28 18:05:34 -04:00
|
|
|
box.add(name, { expand: true });
|
|
|
|
let description = new St.Label({ style_class: 'lg-extension-description',
|
2012-01-30 20:58:29 -05:00
|
|
|
text: extension.metadata.description || 'No description' });
|
2009-10-28 18:05:34 -04:00
|
|
|
box.add(description, { expand: true });
|
|
|
|
|
2011-09-29 12:34:46 -04:00
|
|
|
let metaBox = new St.BoxLayout({ style_class: 'lg-extension-meta' });
|
2009-10-28 18:05:34 -04:00
|
|
|
box.add(metaBox);
|
|
|
|
let state = new St.Label({ style_class: 'lg-extension-state',
|
2012-01-30 20:58:29 -05:00
|
|
|
text: this._stateToString(extension.state) });
|
2011-09-29 12:34:46 -04:00
|
|
|
metaBox.add(state);
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2012-07-14 18:49:06 -04:00
|
|
|
let viewsource = new St.Button({ reactive: true,
|
|
|
|
track_hover: true,
|
|
|
|
style_class: 'shell-link',
|
|
|
|
label: _("View Source") });
|
|
|
|
viewsource._extension = extension;
|
2017-12-01 19:27:35 -05:00
|
|
|
viewsource.connect('clicked', this._onViewSource.bind(this));
|
2012-07-14 18:49:06 -04:00
|
|
|
metaBox.add(viewsource);
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
if (extension.metadata.url) {
|
2012-07-14 18:49:06 -04:00
|
|
|
let webpage = new St.Button({ reactive: true,
|
|
|
|
track_hover: true,
|
|
|
|
style_class: 'shell-link',
|
|
|
|
label: _("Web Page") });
|
|
|
|
webpage._extension = extension;
|
2017-12-01 19:27:35 -05:00
|
|
|
webpage.connect('clicked', this._onWebPage.bind(this));
|
2012-07-14 18:49:06 -04:00
|
|
|
metaBox.add(webpage);
|
2009-10-28 18:05:34 -04:00
|
|
|
}
|
|
|
|
|
2012-07-14 18:49:06 -04:00
|
|
|
let viewerrors = new St.Button({ reactive: true,
|
|
|
|
track_hover: true,
|
|
|
|
style_class: 'shell-link',
|
|
|
|
label: _("Show Errors") });
|
|
|
|
viewerrors._extension = extension;
|
|
|
|
viewerrors._parentBox = box;
|
|
|
|
viewerrors._isShowing = false;
|
2017-12-01 19:27:35 -05:00
|
|
|
viewerrors.connect('clicked', this._onViewErrors.bind(this));
|
2012-07-14 18:49:06 -04:00
|
|
|
metaBox.add(viewerrors);
|
2011-09-30 03:58:44 -04:00
|
|
|
|
2009-10-28 18:05:34 -04:00
|
|
|
return box;
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-10-28 18:05:34 -04:00
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var LookingGlass = class LookingGlass {
|
|
|
|
constructor() {
|
2009-11-11 13:12:55 -05:00
|
|
|
this._borderPaintTarget = null;
|
2012-06-21 14:42:33 -04:00
|
|
|
this._redBorderEffect = new RedBorderEffect();
|
2009-11-11 13:12:55 -05:00
|
|
|
|
2009-08-02 03:46:01 -04:00
|
|
|
this._open = false;
|
|
|
|
|
2017-06-12 22:24:12 -04:00
|
|
|
this._it = null;
|
2009-08-02 03:46:01 -04:00
|
|
|
this._offset = 0;
|
|
|
|
this._results = [];
|
|
|
|
|
2009-09-10 01:38:13 -04:00
|
|
|
// Sort of magic, but...eh.
|
|
|
|
this._maxItems = 150;
|
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
this.actor = new St.BoxLayout({ name: 'LookingGlassDialog',
|
2010-05-15 12:43:56 -04:00
|
|
|
style_class: 'lg-dialog',
|
2009-09-10 01:38:13 -04:00
|
|
|
vertical: true,
|
2011-11-22 13:28:23 -05:00
|
|
|
visible: false,
|
|
|
|
reactive: true });
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('key-press-event', this._globalKeyPressEvent.bind(this));
|
2010-11-30 13:11:11 -05:00
|
|
|
|
2014-06-24 15:17:09 -04:00
|
|
|
this._interfaceSettings = new Gio.Settings({ schema_id: 'org.gnome.desktop.interface' });
|
2010-11-30 13:11:11 -05:00
|
|
|
this._interfaceSettings.connect('changed::monospace-font-name',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._updateFont.bind(this));
|
2009-09-21 20:13:00 -04:00
|
|
|
this._updateFont();
|
|
|
|
|
2011-09-06 11:35:16 -04:00
|
|
|
// We want it to appear to slide out from underneath the panel
|
2013-07-03 05:52:21 -04:00
|
|
|
Main.uiGroup.add_actor(this.actor);
|
|
|
|
Main.uiGroup.set_child_below_sibling(this.actor,
|
|
|
|
Main.layoutManager.panelBox);
|
2011-09-06 11:35:16 -04:00
|
|
|
Main.layoutManager.panelBox.connect('allocation-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._queueResize.bind(this));
|
2011-09-06 11:35:16 -04:00
|
|
|
Main.layoutManager.keyboardBox.connect('allocation-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._queueResize.bind(this));
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2012-07-14 19:29:55 -04:00
|
|
|
this._objInspector = new ObjInspector(this);
|
2010-05-15 12:43:56 -04:00
|
|
|
Main.uiGroup.add_actor(this._objInspector.actor);
|
|
|
|
this._objInspector.actor.hide();
|
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
let toolbar = new St.BoxLayout({ name: 'Toolbar' });
|
2009-09-10 01:38:13 -04:00
|
|
|
this.actor.add_actor(toolbar);
|
2010-11-02 18:33:22 -04:00
|
|
|
let inspectIcon = new St.Icon({ icon_name: 'gtk-color-picker',
|
|
|
|
icon_size: 24 });
|
2009-09-10 01:38:13 -04:00
|
|
|
toolbar.add_actor(inspectIcon);
|
2009-08-02 03:46:01 -04:00
|
|
|
inspectIcon.reactive = true;
|
2017-10-30 20:38:18 -04:00
|
|
|
inspectIcon.connect('button-press-event', () => {
|
2012-07-14 19:29:55 -04:00
|
|
|
let inspector = new Inspector(this);
|
2017-10-30 20:38:18 -04:00
|
|
|
inspector.connect('target', (i, target, stageX, stageY) => {
|
2019-01-29 19:18:24 -05:00
|
|
|
this._pushResult(`inspect(${Math.round(stageX)}, ${Math.round(stageY)})`, target);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
|
|
|
inspector.connect('closed', () => {
|
2009-08-02 03:46:01 -04:00
|
|
|
this.actor.show();
|
|
|
|
global.stage.set_key_focus(this._entry);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2009-08-02 03:46:01 -04:00
|
|
|
this.actor.hide();
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-05-23 05:04:28 -04:00
|
|
|
let gcIcon = new St.Icon({ icon_name: 'user-trash-full',
|
2013-10-29 01:55:24 -04:00
|
|
|
icon_size: 24 });
|
|
|
|
toolbar.add_actor(gcIcon);
|
|
|
|
gcIcon.reactive = true;
|
2017-10-30 20:38:18 -04:00
|
|
|
gcIcon.connect('button-press-event', () => {
|
2019-01-29 14:36:54 -05:00
|
|
|
gcIcon.icon_name = 'user-trash';
|
|
|
|
System.gc();
|
|
|
|
this._timeoutId = Mainloop.timeout_add(500, () => {
|
2017-05-23 05:04:28 -04:00
|
|
|
gcIcon.icon_name = 'user-trash-full';
|
2014-04-10 15:08:49 -04:00
|
|
|
this._timeoutId = 0;
|
2013-11-28 19:45:39 -05:00
|
|
|
return GLib.SOURCE_REMOVE;
|
2019-01-29 14:36:54 -05:00
|
|
|
});
|
|
|
|
GLib.Source.set_name_by_id(this._timeoutId, '[gnome-shell] gcIcon.icon_name = \'user-trash-full\'');
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2013-10-29 01:55:24 -04:00
|
|
|
|
2009-08-04 09:49:03 -04:00
|
|
|
let notebook = new Notebook();
|
2009-10-08 20:11:45 -04:00
|
|
|
this._notebook = notebook;
|
2009-09-10 01:38:13 -04:00
|
|
|
this.actor.add(notebook.actor, { expand: true });
|
|
|
|
|
|
|
|
let emptyBox = new St.Bin();
|
|
|
|
toolbar.add(emptyBox, { expand: true });
|
|
|
|
toolbar.add_actor(notebook.tabControls);
|
2009-08-04 09:49:03 -04:00
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
this._evalBox = new St.BoxLayout({ name: 'EvalBox', vertical: true });
|
2009-08-04 09:49:03 -04:00
|
|
|
notebook.appendPage('Evaluator', this._evalBox);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
this._resultsArea = new St.BoxLayout({ name: 'ResultsArea', vertical: true });
|
2009-09-10 01:38:13 -04:00
|
|
|
this._evalBox.add(this._resultsArea, { expand: true });
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2011-10-29 04:20:49 -04:00
|
|
|
this._entryArea = new St.BoxLayout({ name: 'EntryArea' });
|
|
|
|
this._evalBox.add_actor(this._entryArea);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2012-07-14 18:24:10 -04:00
|
|
|
let label = new St.Label({ text: CHEVRON });
|
2011-10-29 04:20:49 -04:00
|
|
|
this._entryArea.add(label);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2011-04-20 12:41:22 -04:00
|
|
|
this._entry = new St.Entry({ can_focus: true });
|
2011-10-11 18:38:24 -04:00
|
|
|
ShellEntry.addContextMenu(this._entry);
|
2011-10-29 04:20:49 -04:00
|
|
|
this._entryArea.add(this._entry, { expand: true });
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2012-07-14 19:29:55 -04:00
|
|
|
this._windowList = new WindowList(this);
|
2010-04-20 14:57:31 -04:00
|
|
|
notebook.appendPage('Windows', this._windowList.actor);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2013-02-14 10:28:43 -05:00
|
|
|
this._extensions = new Extensions(this);
|
2009-10-28 18:05:34 -04:00
|
|
|
notebook.appendPage('Extensions', this._extensions.actor);
|
|
|
|
|
2019-01-31 09:08:10 -05:00
|
|
|
this._entry.clutter_text.connect('activate', (o, _e) => {
|
2011-10-29 04:20:49 -04:00
|
|
|
// Hide any completions we are currently showing
|
|
|
|
this._hideCompletions();
|
|
|
|
|
2009-08-02 03:46:01 -04:00
|
|
|
let text = o.get_text();
|
|
|
|
// Ensure we don't get newlines in the command; the history file is
|
|
|
|
// newline-separated.
|
2013-09-11 00:38:38 -04:00
|
|
|
text = text.replace('\n', ' ');
|
2009-08-04 01:37:54 -04:00
|
|
|
// Strip leading and trailing whitespace
|
2010-05-13 15:46:04 -04:00
|
|
|
text = text.replace(/^\s+/g, '').replace(/\s+$/g, '');
|
2009-08-04 01:37:54 -04:00
|
|
|
if (text == '')
|
|
|
|
return true;
|
2009-08-02 03:46:01 -04:00
|
|
|
this._evaluate(text);
|
|
|
|
return true;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-02-13 11:43:32 -05:00
|
|
|
|
2011-02-28 12:22:12 -05:00
|
|
|
this._history = new History.HistoryManager({ gsettingsKey: HISTORY_KEY,
|
|
|
|
entry: this._entry.clutter_text });
|
2011-09-06 11:35:16 -04:00
|
|
|
|
2011-10-29 04:20:49 -04:00
|
|
|
this._autoComplete = new AutoComplete(this._entry);
|
2017-10-30 20:38:18 -04:00
|
|
|
this._autoComplete.connect('suggest', (a, e) => {
|
2011-10-29 04:20:49 -04:00
|
|
|
this._showCompletions(e.completions);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-10-29 04:20:49 -04:00
|
|
|
// If a completion is completed unambiguously, the currently-displayed completion
|
|
|
|
// suggestions become irrelevant.
|
2017-10-30 20:38:18 -04:00
|
|
|
this._autoComplete.connect('completion', (a, e) => {
|
2011-10-29 04:20:49 -04:00
|
|
|
if (e.type == 'whole-word')
|
|
|
|
this._hideCompletions();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2011-09-06 11:35:16 -04:00
|
|
|
this._resize();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateFont() {
|
2010-11-30 13:11:11 -05:00
|
|
|
let fontName = this._interfaceSettings.get_string('monospace-font-name');
|
2013-02-07 06:01:29 -05:00
|
|
|
let fontDesc = Pango.FontDescription.from_string(fontName);
|
2009-09-21 20:13:00 -04:00
|
|
|
// We ignore everything but size and style; you'd be crazy to set your system-wide
|
|
|
|
// monospace font to be bold/oblique/etc. Could easily be added here.
|
2019-01-29 19:18:24 -05:00
|
|
|
let size = fontDesc.get_size() / 1024.;
|
|
|
|
let unit = fontDesc.get_size_is_absolute() ? 'px' : 'pt';
|
|
|
|
this.actor.style = `
|
|
|
|
font-size: ${size}${unit};
|
|
|
|
font-family: "${fontDesc.get_family()}";`;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-09-21 20:13:00 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
setBorderPaintTarget(obj) {
|
2012-06-21 14:42:33 -04:00
|
|
|
if (this._borderPaintTarget != null)
|
|
|
|
this._borderPaintTarget.remove_effect(this._redBorderEffect);
|
|
|
|
this._borderPaintTarget = obj;
|
|
|
|
if (this._borderPaintTarget != null)
|
|
|
|
this._borderPaintTarget.add_effect(this._redBorderEffect);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-06-21 14:42:33 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_pushResult(command, obj) {
|
2009-08-02 03:46:01 -04:00
|
|
|
let index = this._results.length + this._offset;
|
2012-07-14 19:29:55 -04:00
|
|
|
let result = new Result(this, CHEVRON + command, obj, index);
|
2009-08-02 03:46:01 -04:00
|
|
|
this._results.push(result);
|
2010-03-31 16:40:32 -04:00
|
|
|
this._resultsArea.add(result.actor);
|
2012-06-21 14:42:33 -04:00
|
|
|
if (obj instanceof Clutter.Actor)
|
2012-07-14 19:30:47 -04:00
|
|
|
this.setBorderPaintTarget(obj);
|
2012-06-21 14:42:33 -04:00
|
|
|
|
2009-08-02 03:46:01 -04:00
|
|
|
let children = this._resultsArea.get_children();
|
|
|
|
if (children.length > this._maxItems) {
|
|
|
|
this._results.shift();
|
|
|
|
children[0].destroy();
|
|
|
|
this._offset++;
|
|
|
|
}
|
|
|
|
this._it = obj;
|
2009-10-08 20:11:45 -04:00
|
|
|
|
|
|
|
// Scroll to bottom
|
|
|
|
this._notebook.scrollToBottom(0);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_showCompletions(completions) {
|
2011-10-29 04:20:49 -04:00
|
|
|
if (!this._completionActor) {
|
2013-02-25 14:56:46 -05:00
|
|
|
this._completionActor = new St.Label({ name: 'LookingGlassAutoCompletionText', style_class: 'lg-completions-text' });
|
|
|
|
this._completionActor.clutter_text.ellipsize = Pango.EllipsizeMode.NONE;
|
|
|
|
this._completionActor.clutter_text.line_wrap = true;
|
2012-02-13 15:27:16 -05:00
|
|
|
this._evalBox.insert_child_below(this._completionActor, this._entryArea);
|
2011-10-29 04:20:49 -04:00
|
|
|
}
|
|
|
|
|
2013-02-25 14:56:46 -05:00
|
|
|
this._completionActor.set_text(completions.join(', '));
|
2011-10-29 04:20:49 -04:00
|
|
|
|
|
|
|
// Setting the height to -1 allows us to get its actual preferred height rather than
|
2018-07-20 15:46:19 -04:00
|
|
|
// whatever was last set when animating
|
2011-10-29 04:20:49 -04:00
|
|
|
this._completionActor.set_height(-1);
|
2019-02-01 08:41:55 -05:00
|
|
|
let [, naturalHeight] = this._completionActor.get_preferred_height(this._resultsArea.get_width());
|
2011-10-29 04:20:49 -04:00
|
|
|
|
|
|
|
// Don't reanimate if we are already visible
|
|
|
|
if (this._completionActor.visible) {
|
|
|
|
this._completionActor.height = naturalHeight;
|
|
|
|
} else {
|
2019-07-25 06:50:26 -04:00
|
|
|
let settings = St.Settings.get();
|
2018-07-20 15:46:19 -04:00
|
|
|
let duration = AUTO_COMPLETE_SHOW_COMPLETION_ANIMATION_DURATION / settings.slow_down_factor;
|
2011-10-29 04:20:49 -04:00
|
|
|
this._completionActor.show();
|
2018-07-20 15:46:19 -04:00
|
|
|
this._completionActor.remove_all_transitions();
|
|
|
|
this._completionActor.ease({
|
|
|
|
height: naturalHeight,
|
|
|
|
opacity: 255,
|
|
|
|
duration,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD
|
|
|
|
});
|
2011-10-29 04:20:49 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_hideCompletions() {
|
2011-10-29 04:20:49 -04:00
|
|
|
if (this._completionActor) {
|
2019-07-25 06:50:26 -04:00
|
|
|
let settings = St.Settings.get();
|
2018-07-20 15:46:19 -04:00
|
|
|
let duration = AUTO_COMPLETE_SHOW_COMPLETION_ANIMATION_DURATION / settings.slow_down_factor;
|
|
|
|
this._completionActor.remove_all_transitions();
|
|
|
|
this._completionActor.ease({
|
|
|
|
height: 0,
|
|
|
|
opacity: 0,
|
|
|
|
duration,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
onComplete: () => {
|
|
|
|
this._completionActor.hide();
|
|
|
|
}
|
|
|
|
});
|
2011-10-29 04:20:49 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-10-29 04:20:49 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_evaluate(command) {
|
2011-02-13 11:43:32 -05:00
|
|
|
this._history.addItem(command);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2018-11-30 10:57:47 -05:00
|
|
|
let lines = command.split(';');
|
|
|
|
lines.push(`return ${lines.pop()}`);
|
|
|
|
|
|
|
|
let fullCmd = commandHeader + lines.join(';');
|
2009-08-02 03:46:01 -04:00
|
|
|
|
|
|
|
let resultObj;
|
|
|
|
try {
|
2018-11-30 10:57:47 -05:00
|
|
|
resultObj = Function(fullCmd)();
|
2009-08-02 03:46:01 -04:00
|
|
|
} catch (e) {
|
2019-01-29 19:18:24 -05:00
|
|
|
resultObj = `<exception ${e}>`;
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
this._pushResult(command, resultObj);
|
|
|
|
this._entry.text = '';
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
inspect(x, y) {
|
2012-12-25 22:16:39 -05:00
|
|
|
return global.stage.get_actor_at_pos(Clutter.PickMode.REACTIVE, x, y);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2012-12-25 22:16:39 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
getIt() {
|
2009-08-02 03:46:01 -04:00
|
|
|
return this._it;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
getResult(idx) {
|
2019-05-20 17:27:48 -04:00
|
|
|
try {
|
|
|
|
return this._results[idx - this._offset].o;
|
|
|
|
} catch (e) {
|
|
|
|
throw new Error(`Unknown result at index ${idx}`);
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
toggle() {
|
2009-08-02 03:46:01 -04:00
|
|
|
if (this._open)
|
|
|
|
this.close();
|
|
|
|
else
|
|
|
|
this.open();
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_queueResize() {
|
2019-07-22 14:37:33 -04:00
|
|
|
Meta.later_add(Meta.LaterType.BEFORE_REDRAW, () => {
|
|
|
|
this._resize();
|
|
|
|
return GLib.SOURCE_REMOVE;
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2011-09-06 11:35:16 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_resize() {
|
2011-06-13 09:54:05 -04:00
|
|
|
let primary = Main.layoutManager.primaryMonitor;
|
2009-08-25 15:23:53 -04:00
|
|
|
let myWidth = primary.width * 0.7;
|
2011-09-06 11:35:16 -04:00
|
|
|
let availableHeight = primary.height - Main.layoutManager.keyboardBox.height;
|
|
|
|
let myHeight = Math.min(primary.height * 0.7, availableHeight * 0.9);
|
2013-09-12 16:33:10 -04:00
|
|
|
this.actor.x = primary.x + (primary.width - myWidth) / 2;
|
2015-02-14 10:51:20 -05:00
|
|
|
this._hiddenY = primary.y + Main.layoutManager.panelBox.height - myHeight;
|
2009-08-02 03:46:01 -04:00
|
|
|
this._targetY = this._hiddenY + myHeight;
|
|
|
|
this.actor.y = this._hiddenY;
|
|
|
|
this.actor.width = myWidth;
|
|
|
|
this.actor.height = myHeight;
|
2010-05-15 12:43:56 -04:00
|
|
|
this._objInspector.actor.set_size(Math.floor(myWidth * 0.8), Math.floor(myHeight * 0.8));
|
2013-09-12 16:33:10 -04:00
|
|
|
this._objInspector.actor.set_position(this.actor.x + Math.floor(myWidth * 0.1),
|
|
|
|
this._targetY + Math.floor(myHeight * 0.1));
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
insertObject(obj) {
|
2010-05-15 12:43:56 -04:00
|
|
|
this._pushResult('<insert>', obj);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
inspectObject(obj, sourceActor) {
|
2010-05-15 12:43:56 -04:00
|
|
|
this._objInspector.open(sourceActor);
|
|
|
|
this._objInspector.selectObject(obj);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2010-05-15 12:43:56 -04:00
|
|
|
|
2009-12-18 15:22:58 -05:00
|
|
|
// Handle key events which are relevant for all tabs of the LookingGlass
|
2017-10-30 20:03:21 -04:00
|
|
|
_globalKeyPressEvent(actor, event) {
|
2009-12-18 15:22:58 -05:00
|
|
|
let symbol = event.get_key_symbol();
|
2012-02-28 11:01:48 -05:00
|
|
|
let modifierState = event.get_state();
|
2009-12-18 15:22:58 -05:00
|
|
|
if (symbol == Clutter.Escape) {
|
2010-05-15 12:43:56 -04:00
|
|
|
if (this._objInspector.actor.visible) {
|
|
|
|
this._objInspector.close();
|
|
|
|
} else {
|
|
|
|
this.close();
|
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2009-12-18 15:22:58 -05:00
|
|
|
}
|
2011-10-21 01:23:08 -04:00
|
|
|
// Ctrl+PgUp and Ctrl+PgDown switches tabs in the notebook view
|
|
|
|
if (modifierState & Clutter.ModifierType.CONTROL_MASK) {
|
|
|
|
if (symbol == Clutter.KEY_Page_Up) {
|
|
|
|
this._notebook.prevTab();
|
|
|
|
} else if (symbol == Clutter.KEY_Page_Down) {
|
|
|
|
this._notebook.nextTab();
|
|
|
|
}
|
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-12-18 15:22:58 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
open() {
|
2009-08-02 03:46:01 -04:00
|
|
|
if (this._open)
|
|
|
|
return;
|
|
|
|
|
2014-12-11 09:35:40 -05:00
|
|
|
if (!Main.pushModal(this._entry, { actionMode: Shell.ActionMode.LOOKING_GLASS }))
|
2009-09-16 11:37:51 -04:00
|
|
|
return;
|
|
|
|
|
2011-04-20 12:41:22 -04:00
|
|
|
this._notebook.selectIndex(0);
|
2009-08-02 03:46:01 -04:00
|
|
|
this.actor.show();
|
|
|
|
this._open = true;
|
2011-02-13 11:43:32 -05:00
|
|
|
this._history.lastItem();
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2018-07-20 15:46:19 -04:00
|
|
|
this.actor.remove_all_transitions();
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2010-11-09 14:37:32 -05:00
|
|
|
// We inverse compensate for the slow-down so you can change the factor
|
|
|
|
// through LookingGlass without long waits.
|
2018-07-20 15:46:19 -04:00
|
|
|
let duration = LG_ANIMATION_TIME / St.Settings.get().slow_down_factor;
|
|
|
|
this.actor.ease({
|
|
|
|
y: this._targetY,
|
|
|
|
duration,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
close() {
|
2009-08-02 03:46:01 -04:00
|
|
|
if (!this._open)
|
|
|
|
return;
|
|
|
|
|
2010-05-15 12:43:56 -04:00
|
|
|
this._objInspector.actor.hide();
|
|
|
|
|
2009-08-02 03:46:01 -04:00
|
|
|
this._open = false;
|
2018-07-20 15:46:19 -04:00
|
|
|
this.actor.remove_all_transitions();
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2012-07-14 19:30:47 -04:00
|
|
|
this.setBorderPaintTarget(null);
|
2009-11-11 13:12:55 -05:00
|
|
|
|
2010-11-03 13:30:08 -04:00
|
|
|
Main.popModal(this._entry);
|
2009-08-02 03:46:01 -04:00
|
|
|
|
2019-07-25 06:50:26 -04:00
|
|
|
let settings = St.Settings.get();
|
2018-07-20 15:46:19 -04:00
|
|
|
let duration = Math.min(LG_ANIMATION_TIME / settings.slow_down_factor,
|
|
|
|
LG_ANIMATION_TIME);
|
|
|
|
this.actor.ease({
|
|
|
|
y: this._hiddenY,
|
|
|
|
duration,
|
|
|
|
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
|
|
|
|
onComplete: () => this.actor.hide()
|
|
|
|
});
|
2009-08-02 03:46:01 -04:00
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|
2009-08-02 03:46:01 -04:00
|
|
|
Signals.addSignalMethods(LookingGlass.prototype);
|