15 const std::string comment;
23 bool can_undo()
const;
24 bool can_redo()
const;
26 const std::string &get_undo_comment()
const;
27 const std::string &get_redo_comment()
const;
29 void set_history_max(
unsigned int m);
30 void set_never_forgets(
bool x);
32 void push(std::unique_ptr<const HistoryItem> it);
36 std::shared_ptr<const HistoryItem> history_current;
37 std::deque<std::shared_ptr<const HistoryItem>> undo_stack;
38 std::deque<std::shared_ptr<const HistoryItem>> redo_stack;
40 unsigned int history_max = 50;
41 bool never_forgets =
true;
Definition history_manager.hpp:10
Definition history_manager.hpp:8