DevTools: history input should overwrite last history entry with user-input

Source/devtools/front_end/ui/HistoryInput.js

Index: Source/devtools/front_end/ui/HistoryInput.js
diff --git a/Source/devtools/front_end/ui/HistoryInput.js b/Source/devtools/front_end/ui/HistoryInput.js
index f2251e663d60bf89b08b68e5dbbfcab1af7aeb94..54daad1e1836375e4ca2b68186b965b9167d9560 100644
--- a/Source/devtools/front_end/ui/HistoryInput.js
+++ b/Source/devtools/front_end/ui/HistoryInput.js
@@ -27,6 +27,16 @@ WebInspector.HistoryInput.prototype = {
         this._history = [""];
         this._historyPosition = 0;
         this.addEventListener("keydown", this._onKeyDown.bind(this), false);
+        this.addEventListener("input", this._onInput.bind(this), false);
+    },
+
+    /**
+     * @param {!Event} event
+     */
+    _onInput: function(event)
+    {
+        if (this._history.length === this._historyPosition + 1)
+            this._history[this._history.length - 1] = this.value;
     },
 
     /**