Commit eb95a45d authored by Seblu's avatar Seblu
Browse files

L'history ne sauvegarde pas deux commande identique succesivement

parent f019d35f
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -14,6 +14,9 @@ void History::add(const string &s) {
  if (s.empty())
    return;

  if (!table_.empty() && s == table_.front())
    return;

  if (table_.size() >= max_size_)
    table_.resize(max_size_);