diff options
| author | kobewi <kobewi4e@gmail.com> | 2024-02-05 17:42:37 +0100 |
|---|---|---|
| committer | kobewi <kobewi4e@gmail.com> | 2024-02-05 17:42:37 +0100 |
| commit | 808f4e8cb9be502060317526f887b1d31cbeb40a (patch) | |
| tree | 4ee5041f68831353fe1f64be3f42e473e1eea78a /editor/editor_undo_redo_manager.cpp | |
| parent | f427d2f0d35f27273e856871f8588652632d8ac2 (diff) | |
| download | redot-engine-808f4e8cb9be502060317526f887b1d31cbeb40a.tar.gz | |
Check if history exists before discarding
Diffstat (limited to 'editor/editor_undo_redo_manager.cpp')
| -rw-r--r-- | editor/editor_undo_redo_manager.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/editor_undo_redo_manager.cpp b/editor/editor_undo_redo_manager.cpp index c2491f8611..94f76dbc41 100644 --- a/editor/editor_undo_redo_manager.cpp +++ b/editor/editor_undo_redo_manager.cpp @@ -375,6 +375,10 @@ bool EditorUndoRedoManager::has_redo() { return false; } +bool EditorUndoRedoManager::has_history(int p_idx) const { + return history_map.has(p_idx); +} + void EditorUndoRedoManager::clear_history(bool p_increase_version, int p_idx) { if (p_idx != INVALID_HISTORY) { History &history = get_or_create_history(p_idx); |