godot/main
Fabio Alessandrelli aa80cfac97 [Editor] Add button to keep the debug server open.
The setting is stored in the project editor metadata, and the server is
automatically started/stopped when the option change (only stopped if no
session is currently active).

The CLI option `--debug-server` now also forces the server to stay open
(without saving the state, unlike the menu option).

This commit also removes the "Keep debugger open" option in the script
editor "debug" menu. That option was really confusing, it used to hide
the bottom panel if and only if the debugger pane was selected, so if
you had your output log open instead (default when pressing play) it
would effectively do nothing. Having an option to save a click in such
a very specific case seems very overkill.
2022-11-25 11:02:55 +01:00
..
app_icon.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2018-06-28 19:17:41 +02:00
main.cpp [Editor] Add button to keep the debug server open. 2022-11-25 11:02:55 +01:00
main.h Style: Misc docs and comment style and language fixes 2022-11-02 19:01:18 +01:00
main_builders.py Tweak the editor splash screen color to better match the default theme 2021-03-17 22:57:35 +01:00
main_timer_sync.cpp Update copyright statements to 2022 2022-01-03 21:27:34 +01:00
main_timer_sync.h Update copyright statements to 2022 2022-01-03 21:27:34 +01:00
performance.cpp Replace Array return types with TypedArray 2 2022-08-23 23:21:32 +02:00
performance.h Replace Array return types with TypedArray 2 2022-08-23 23:21:32 +02:00
SCsub Remove editor splash screen with sponsors logo 2021-11-30 12:47:25 +01:00
splash.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2019-10-12 23:23:33 +02:00