diff options
| -rw-r--r-- | common/content/ui.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/content/ui.js b/common/content/ui.js index d0ec7e2a..ee7071d1 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -91,6 +91,8 @@ function CommandLine() //{{{ save: function () { let str = this.input.value; + if (/^\s*$/.test(str)) + return; this.store.mutate('filter', function (line) line != str); this.store.push(str); this.store.truncate(options["history"], true); @@ -946,8 +948,6 @@ function CommandLine() //{{{ highlightGroup = highlightGroup || this.HL_NORMAL; - // liberator.dump(String(str)); - // try { liberator.dump(str.toXMLString()) } catch(e) {}; if (flags & this.APPEND_TO_MESSAGES) messageHistory.add({ str: str, highlight: highlightGroup }); |