Fix for the issue #930: update event of erased feature should not be processed

[modules/shaper.git] / src / Events / Events_Loop.h

diff --git a/src/Events/Events_Loop.h b/src/Events/Events_Loop.h
index adc88835198dda23e4121ac4dd07620217475e19..66ed3070d58e785f994854603de2b46bdb0a0a72 100644 (file)
--- a/src/Events/Events_Loop.h
+++ b/src/Events/Events_Loop.h
@@ -66,6 +66,9 @@ class Events_Loop
   //! Initializes sending of a group-message by the given ID
   EVENTS_EXPORT void flush(const Events_ID& theID);
 
+  //! Removes messages with the given ID: they are not needed anymore (UPDATE on close)
+  EVENTS_EXPORT void eraseMessages(const Events_ID& theID);
+
   //! Allows to disable flushes: needed in synchronization of document mechanism 
   //! (to synchronize all and only then flush create, update, etc in correct order)
   //! \param theActivate a state about flushe is active. If false, the flush is disabled