diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-12 18:02:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 18:02:38 +0200 |
| commit | 2231673d42a9f20c8778b068102ae46261a6fb69 (patch) | |
| tree | 9d93f43c983398f96e6a5ae7f39d80559398402a /editor/plugins/debugger_editor_plugin.cpp | |
| parent | 6dfea347b0f957e2689a127f025988f9aae1ab71 (diff) | |
| parent | 3097c2da963fe355c81816a74824170b6dce697c (diff) | |
Merge pull request #37099 from Faless/js/debugger_4.0
WebSocket profiler for HTML5 platform [4.0]
Diffstat (limited to 'editor/plugins/debugger_editor_plugin.cpp')
| -rw-r--r-- | editor/plugins/debugger_editor_plugin.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/plugins/debugger_editor_plugin.cpp b/editor/plugins/debugger_editor_plugin.cpp index 2b0d3f2582..e0d345663c 100644 --- a/editor/plugins/debugger_editor_plugin.cpp +++ b/editor/plugins/debugger_editor_plugin.cpp @@ -32,11 +32,14 @@ #include "core/os/keyboard.h" #include "editor/debugger/editor_debugger_node.h" +#include "editor/debugger/editor_debugger_server.h" #include "editor/editor_node.h" #include "editor/fileserver/editor_file_server.h" #include "scene/gui/menu_button.h" DebuggerEditorPlugin::DebuggerEditorPlugin(EditorNode *p_editor, MenuButton *p_debug_menu) { + EditorDebuggerServer::initialize(); + ED_SHORTCUT("debugger/step_into", TTR("Step Into"), KEY_F11); ED_SHORTCUT("debugger/step_over", TTR("Step Over"), KEY_F10); ED_SHORTCUT("debugger/break", TTR("Break")); @@ -96,6 +99,7 @@ DebuggerEditorPlugin::DebuggerEditorPlugin(EditorNode *p_editor, MenuButton *p_d } DebuggerEditorPlugin::~DebuggerEditorPlugin() { + EditorDebuggerServer::deinitialize(); memdelete(file_server); } |