From 829876a6fae705928153a824f8a2922bda8f9785 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 9 Apr 2013 14:29:28 +0200
Subject: [PATCH] Context: push_jump does not allow the same jump to be present
 multiple times

---
 src/context.hh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/context.hh b/src/context.hh
index c6c7abc2..b4442e5f 100644
--- a/src/context.hh
+++ b/src/context.hh
@@ -112,7 +112,8 @@ struct Context
                 ++begin;
             m_jump_list.erase(begin, m_jump_list.end());
         }
-
+        m_jump_list.erase(std::remove(begin(m_jump_list), end(m_jump_list), jump),
+                          end(m_jump_list));
         m_jump_list.push_back({editor().buffer(), jump});
         m_current_jump = m_jump_list.end();
     }