diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 14:04:50 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 14:04:50 +0100 |
commit | 92c08a5973aac37736c8b284a3ae3890a2a60c64 (patch) | |
tree | 34441192d2ba7958210d3720b199f5204a157ccd /core/input/input_builders.py | |
parent | 986a4279fad538cba4164dfb747d7884a432b45c (diff) | |
parent | aa80cfac9795d19f146f1285feba4b1bf0277177 (diff) |
Merge pull request #69164 from Faless/debugger/4.x_server_keep_open
[Editor] Add button to keep the debug server open.
Diffstat (limited to 'core/input/input_builders.py')
0 files changed, 0 insertions, 0 deletions