From ac81d0f39cb1139472b2d2e90156f10324257777 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Mon, 22 Aug 2016 20:19:27 +0100
Subject: [PATCH] Cleanup history_push function

---
 src/input_handler.cc | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/input_handler.cc b/src/input_handler.cc
index 5e246b5a..d6850a51 100644
--- a/src/input_handler.cc
+++ b/src/input_handler.cc
@@ -881,12 +881,10 @@ private:
     static void history_push(History& history, StringView entry)
     {
         if(entry.empty() or is_horizontal_blank(entry[0_byte]))
-        {
             return;
-        }
-        History::iterator it;
-        while ((it = find(history, entry)) != history.end())
-            history.erase(it);
+
+        history.erase(std::remove(history.begin(), history.end(), entry),
+                      history.end());
         history.push_back(entry.str());
     }
 };