diff --git a/common/content/ui.js b/common/content/ui.js index 0864bcd1..e2b4ab1c 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -109,6 +109,8 @@ function CommandLine() //{{{ */ save: function () { + if (events.feedingKeys) + return; let str = this.input.value; if (/^\s*$/.test(str)) return;