diff --git a/js/misc/history.js b/js/misc/history.js index 693e6de1c..f1d037018 100644 --- a/js/misc/history.js +++ b/js/misc/history.js @@ -76,6 +76,7 @@ var HistoryManager = new Lang.Class({ if (this._history.length == 0 || this._history[this._history.length - 1] != input) { + this._history = this._history.filter(entry => entry != input); this._history.push(input); this._save(); }