#ifndef UNDO_H
#define UNDO_H
-#include <vector>
-
-class Paragraph;
+#include "ParagraphList.h"
///
class Undo {
///
undo_kind kind;
///
- int number_of_before_par;
+ int inset_id; // valid if >= 0, if < 0 then not in inset
///
- int number_of_behind_par;
+ int plist_id;
///
- int number_of_cursor_par;
+ int first_par_offset;
///
- int number_of_inset_id; // valid if >= 0, if < 0 then not in inset
+ int last_par_offset;
///
- int cursor_pos; // valid if >= 0
+ int cursor_par_offset;
///
- std::vector<Paragraph *> pars;
+ int cursor_pos; // valid if >= 0
///
- Undo(undo_kind kind_arg, int id_inset_arg,
- int number_before_arg, int number_behind_arg,
- int cursor_par_arg, int cursor_pos_arg,
- std::vector<Paragraph *> const & par_arg);
+ ParagraphList pars;
+
///
- ~Undo();
+ Undo(undo_kind kind, int inset_id, int plist_id,
+ int first, int last,
+ int cursor, int cursor_pos,
+ ParagraphList const & par_arg);
+
};