Cleanup history_push function

1 files 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());
     }
 };