[gnome-shell] lookingGlass: Faster history save, avoid empty lines
- From: Colin Walters <walters src gnome org>
- To: svn-commits-list gnome org
- Cc:
- Subject: [gnome-shell] lookingGlass: Faster history save, avoid empty lines
- Date: Tue, 4 Aug 2009 14:01:12 +0000 (UTC)
commit 3429abff40a91f39d15f439007578261857fc105
Author: Colin Walters <walters verbum org>
Date: Tue Aug 4 01:37:54 2009 -0400
lookingGlass: Faster history save, avoid empty lines
5 seconds is should help ensure we lose work less often on
Alt-f2 restart.
Avoid saving empty lines to history, and filter them out if
we find them.
Minor fixes for the still-not-enabled inspector.
js/ui/lookingGlass.js | 16 +++++++++++-----
1 files changed, 11 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/lookingGlass.js b/js/ui/lookingGlass.js
index 085076a..df80650 100644
--- a/js/ui/lookingGlass.js
+++ b/js/ui/lookingGlass.js
@@ -106,11 +106,13 @@ ActorHierarchy.prototype = {
let link = new Clutter.Text({ color: MATRIX_GREEN,
font_name: MATRIX_FONT,
- reactive: true });
+ reactive: true,
+ text: "" + parent });
this.actor.append(link, Big.BoxPackFlags.IF_FITS);
let parentTarget = parent;
link.connect('button-press-event', Lang.bind(this, function () {
this._selectByActor(parentTarget);
+ return true;
}));
}
this.emit('selection', actor);
@@ -289,8 +291,8 @@ LookingGlass.prototype = {
inspectionBox.append(this._hierarchy.actor, Big.BoxPackFlags.EXPAND);
this._propInspector = new PropertyInspector();
inspectionBox.append(this._propInspector.actor, Big.BoxPackFlags.EXPAND);
- this._hierarchy.connect('selected', Lang.bind(this, function (h, actor) {
- this._propInspector.setTarget(actor);
+ this._hierarchy.connect('selection', Lang.bind(this, function (h, actor) {
+ this._pushResult('<parent selection>', actor);
}));
this._entry.connect('activate', Lang.bind(this, function (o, e) {
@@ -298,6 +300,10 @@ LookingGlass.prototype = {
// Ensure we don't get newlines in the command; the history file is
// newline-separated.
text.replace('\n', ' ');
+ // Strip leading and trailing whitespace
+ text = text.replace(/^\s+/g, "").replace(/\s+$/g, "");
+ if (text == '')
+ return true;
this._evaluate(text);
this._historyNavIndex = -1;
return true;
@@ -336,13 +342,13 @@ LookingGlass.prototype = {
if (!this._historyFile.query_exists(null))
return;
let [result, contents, length, etag] = this._historyFile.load_contents(null);
- this._history = contents.split('\n');
+ this._history = contents.split('\n').filter(function (e) { return e != ''; });
},
_queueHistorySave: function() {
if (this._idleHistorySaveId > 0)
return;
- this._idleHistorySaveId = Mainloop.timeout_add_seconds(30, Lang.bind(this, this._doSaveHistory));
+ this._idleHistorySaveId = Mainloop.timeout_add_seconds(5, Lang.bind(this, this._doSaveHistory));
},
_doSaveHistory: function () {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]