diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2023-02-07 12:10:28 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2023-02-07 12:10:28 +0100 |
commit | 31a4a0002e566cbb28a2160fde1567eb75496cd0 (patch) | |
tree | fb15e60563452c6313e0698b6572dc72c17dacfa /editor/debugger/script_editor_debugger.h | |
parent | 2fdaf2919c03ab50f971f2d51616d4ee329d29af (diff) |
Pace debugger draw requests
Diffstat (limited to 'editor/debugger/script_editor_debugger.h')
-rw-r--r-- | editor/debugger/script_editor_debugger.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/debugger/script_editor_debugger.h b/editor/debugger/script_editor_debugger.h index a0c420522a..1659bbee8d 100644 --- a/editor/debugger/script_editor_debugger.h +++ b/editor/debugger/script_editor_debugger.h @@ -155,6 +155,7 @@ private: bool breaked = false; bool can_debug = false; bool move_to_foreground = true; + bool can_request_idle_draw = false; bool live_debug; |