From d2c6ceb47b532d125c3cafffdca79fada54ee21f Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Mon, 24 Oct 2011 14:26:21 +0000 Subject: DynamicBufferIterator: add and use in Selections DynamicBufferIterator are a new type of BufferIterators that automatically update themselves when their buffer is modified. Selections now uses this type of iterators instead of plain ones --- src/buffer.hh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/buffer.hh') diff --git a/src/buffer.hh b/src/buffer.hh index aee9fba2..ac3f0d60 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -63,6 +63,7 @@ public: bool is_begin() const; bool is_end() const; + bool is_valid() const; const Buffer& buffer() const; @@ -145,8 +146,8 @@ public: Type type() const { return m_type; } void notify_saved(); - void register_modification_listener(BufferModificationListener* listener); - void unregister_modification_listener(BufferModificationListener* listener); + void register_modification_listener(BufferModificationListener* listener) const; + void unregister_modification_listener(BufferModificationListener* listener) const; private: BufferChar at(BufferPos position) const; @@ -185,7 +186,7 @@ private: std::vector::iterator m_last_save_undo_group; - std::vector m_modification_listeners; + mutable std::vector m_modification_listeners; }; } -- cgit v1.2.3