Horizon
|
This is the complete list of members for horizon::UndoRedoPreferences, including all inherited members.
load_from_json(const json &j) (defined in horizon::UndoRedoPreferences) | horizon::UndoRedoPreferences | |
max_depth (defined in horizon::UndoRedoPreferences) | horizon::UndoRedoPreferences | |
never_forgets (defined in horizon::UndoRedoPreferences) | horizon::UndoRedoPreferences | |
serialize() const (defined in horizon::UndoRedoPreferences) | horizon::UndoRedoPreferences | |
show_hints (defined in horizon::UndoRedoPreferences) | horizon::UndoRedoPreferences |