summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-11-24 22:03:29 +0100
committerFabio Alessandrelli <fabio.alessandrelli@gmail.com>2022-11-25 11:02:55 +0100
commitaa80cfac9795d19f146f1285feba4b1bf0277177 (patch)
treeefe7a0e3a3905606993748674fcb406ffd24b291 /doc
parent34df77285c68dd11c43571c90d41d803f2f97f5a (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 'doc')
0 files changed, 0 insertions, 0 deletions