Clear undo/redo stack when reloading buffer. This fixes #7208.

[features.git] / src / Undo.h

diff --git a/src/Undo.h b/src/Undo.h
index f91b02fe8fd7c0d13970bc4c6c9658b762265101..5f6694104a6e72c1094fc53ffa8ff2d9bac7e448 100644 (file)
--- a/src/Undo.h
+++ b/src/Undo.h
@@ -53,6 +53,9 @@ public:
 
        ~Undo();
 
+       /// Clear out all undo/redo contents.
+       void clear();
+
        /// this will undo the last action - returns false if no undo possible
        bool textUndo(DocIterator &);