1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-04 12:00:25 +00:00

Debugger: Save options in project metadata

Fixes #19542.
This commit is contained in:
Rémi Verschelde
2020-11-17 13:03:37 +01:00
parent 386ee52978
commit 090361f3c9
2 changed files with 27 additions and 10 deletions

View File

@@ -60,7 +60,7 @@ private:
DEBUG_STEP,
DEBUG_BREAK,
DEBUG_CONTINUE,
DEBUG_SHOW_KEEP_OPEN,
DEBUG_KEEP_DEBUGGER_OPEN,
DEBUG_WITH_EXTERNAL_EDITOR,
};
@@ -133,6 +133,7 @@ protected:
void _paused();
void _break_state_changed();
void _menu_option(int p_id);
void _update_debug_options();
protected:
void _notification(int p_what);