diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-11-24 22:03:29 +0100 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-11-25 11:02:55 +0100 |
commit | aa80cfac9795d19f146f1285feba4b1bf0277177 (patch) | |
tree | efe7a0e3a3905606993748674fcb406ffd24b291 /editor/editor_about.h | |
parent | 34df77285c68dd11c43571c90d41d803f2f97f5a (diff) |
[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.
Diffstat (limited to 'editor/editor_about.h')
0 files changed, 0 insertions, 0 deletions