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

Debugger: Save options in project metadata

Fixes #19542.

(cherry picked from commit 090361f3c9)
This commit is contained in:
Rémi Verschelde
2020-11-17 13:03:37 +01:00
parent fcab27878c
commit 4816317bbc
2 changed files with 28 additions and 22 deletions

View File

@@ -160,8 +160,7 @@ class ScriptEditor : public PanelContainer {
DEBUG_STEP,
DEBUG_BREAK,
DEBUG_CONTINUE,
DEBUG_SHOW,
DEBUG_SHOW_KEEP_OPEN,
DEBUG_KEEP_DEBUGGER_OPEN,
DEBUG_WITH_EXTERNAL_EDITOR,
SEARCH_IN_FILES,
SEARCH_HELP,
@@ -270,6 +269,7 @@ class ScriptEditor : public PanelContainer {
void _tab_changed(int p_which);
void _menu_option(int p_option);
void _update_debug_options();
void _theme_option(int p_option);
void _show_save_theme_as_dialog();