12 HistoryItem(
const std::string &c) : comment(c)
15 const std::string comment;
16 virtual ~HistoryItem() =
default;
22 bool has_current()
const;
24 bool can_undo()
const;
25 bool can_redo()
const;
27 const std::string &get_undo_comment()
const;
28 const std::string &get_redo_comment()
const;
30 void set_history_max(
unsigned int m);
31 void set_never_forgets(
bool x);
33 void push(std::unique_ptr<const HistoryItem> it);
37 std::shared_ptr<const HistoryItem> history_current;
38 std::deque<std::shared_ptr<const HistoryItem>> undo_stack;
39 std::deque<std::shared_ptr<const HistoryItem>> redo_stack;
41 unsigned int history_max = 50;
42 bool never_forgets =
true;
Definition history_manager.hpp:10
Definition history_manager.hpp:8