-class Undo {
-public:
- /// This is used to combine consecutive undo recordings of the same kind.
- enum undo_kind {
- /**
- * Insert something - these will combine to one big chunk
- * when many inserts come after each other.
- */
- INSERT,
- /**
- * Delete something - these will combine to one big chunk
- * when many deletes come after each other.
- */
- DELETE,
- /// Atomic - each of these will have its own entry in the stack
- ATOMIC
- };
-
- /// Which kind of operation are we recording for?
- undo_kind kind;
- /// the position of the cursor
- StableDocIterator cursor;
- /// the position of the cell described
- StableDocIterator cell;
- /// counted from begin of cell
- pit_type from;
- /// complement to end of this cell
- pit_type end;
- /// the contents of the saved Paragraphs (for texted)
- ParagraphList * pars;
- /// the contents of the saved MathArray (for mathed)
- MathArray * array;
- /// Only used in case of full backups
- BufferParams bparams;
- /// Only used in case of full backups
- bool isFullBuffer;
-};
+ /// this will redo the last undo - returns false if no redo possible
+ bool textRedo(DocIterator &);