From 645c4464709ae7cb3e02518169e5a1705b31443f Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Sun, 28 Jun 2009 16:57:55 -0400
Subject: [PATCH] Don't save ex commands to history while feeding keys.

---
 common/content/ui.js | 2 ++
 1 file changed, 2 insertions(+)

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;