Editor: tweak behaviour on undo/redo when selecting modified ranges

1 files changed, 6 insertions, 0 deletions

diff --git a/src/selection.hh b/src/selection.hh
index d24bc87e..e5361a4d 100644
--- a/src/selection.hh
+++ b/src/selection.hh
@@ -45,6 +45,12 @@ inline bool overlaps(const Range& lhs, const Range& rhs)
            (lhs.first() <= rhs.last()  and lhs.last() >= rhs.last());
 }
 
+inline bool touches(const Range& lhs, const Range& rhs)
+{
+    return lhs.begin() <= rhs.begin() ? lhs.end() >= rhs.begin()
+                                      : lhs.begin() <= rhs.end();
+}
+
 using CaptureList = std::vector<String>;
 
 // A selection is a Range, associated with a CaptureList