diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-11-21 13:43:10 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-11-21 13:43:10 +0100 |
| commit | d1fade5c9e7ec622ce1c1ed5d6c4418753068e09 (patch) | |
| tree | 0f45217cf79ba4051219dfa740ecfc339fc32748 /src/buffer.hh | |
| parent | ac6171686d1ec71dd4452bdf0045d8afd97556ec (diff) | |
Buffer: replace reset_undo_data with a NoUndo flag
Diffstat (limited to 'src/buffer.hh')
| -rw-r--r-- | src/buffer.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/buffer.hh b/src/buffer.hh index 0d1ffa92..27b5ae79 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -100,7 +100,8 @@ public: None = 0, File = 1, New = 2, - Fifo = 4 + Fifo = 4, + NoUndo = 8, }; Buffer(String name, Flags flags, String initial_content = "\n"); @@ -121,7 +122,6 @@ public: void end_undo_group(); bool undo(); bool redo(); - void reset_undo_data(); String string(const BufferIterator& begin, const BufferIterator& end) const; |