diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-03 11:36:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-03 11:36:01 +0200 |
| commit | 90f4e76a463713826b81a768444ce318dcdb3aa0 (patch) | |
| tree | de75c67730505a1f69a5cc885cc136fd7c0a505b /tools/editor/editor_node.h | |
| parent | cf4693cf18ec6ccdd3ccb4e416d3520efbf26010 (diff) | |
| parent | 66dac878ac9fc278044281b7f67fbed668e4523d (diff) | |
Merge pull request #6479 from RandomShaper/improve-debug-focus
Improve debug focus behavior
Diffstat (limited to 'tools/editor/editor_node.h')
| -rw-r--r-- | tools/editor/editor_node.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/editor_node.h b/tools/editor/editor_node.h index 2fae5daced..0393cd19a9 100644 --- a/tools/editor/editor_node.h +++ b/tools/editor/editor_node.h @@ -700,6 +700,7 @@ public: void notify_child_process_exited(); + OS::ProcessID get_child_process_id() const { return editor_run.get_pid(); } void stop_child_process(); Ref<Theme> get_editor_theme() const { return theme; } |