void undispatched();
/// the event was already dispatched
void dispatched();
- /// Set which update should be done
+ /// Set which screen update should be done
void screenUpdateFlags(Update::flags f);
+ /// Forces an updateBuffer() call
+ void forceBufferUpdate();
+ /// Removes any pending updateBuffer() call
+ void clearBufferUpdate();
+ /// Do we need to call updateBuffer()?
+ bool needBufferUpdate() const;
/**
* don't call update() when done
*
void recordUndo(UndoKind kind = ATOMIC_UNDO) const;
/// Convenience: prepare undo for the inset containing the cursor
- void recordUndoInset(UndoKind kind = ATOMIC_UNDO) const;
+ void recordUndoInset(UndoKind kind = ATOMIC_UNDO,
+ Inset const * inset = 0) const;
/// Convenience: prepare undo for the whole buffer
void recordUndoFullDocument() const;