diff options
| author | Rikhardur Bjarni Einarsson <badulf96@gmail.com> | 2019-04-22 17:20:27 +0100 |
|---|---|---|
| committer | Rikhardur Bjarni Einarsson <badulf96@gmail.com> | 2019-04-23 21:51:01 +0100 |
| commit | 9bfa63496a6310a45ca337acf38f67361c89a6ec (patch) | |
| tree | fd103dafd0154bb92972d360c6e185bb78fc45cb /editor/plugins/script_editor_plugin.h | |
| parent | 886afa9b7692bc263cf96c03882760521b74b942 (diff) | |
Added a marker in text_edit that tells which row is executing.
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index f13308dec7..a17fed1e06 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -96,6 +96,8 @@ public: virtual Variant get_edit_state() = 0; virtual void set_edit_state(const Variant &p_state) = 0; virtual void goto_line(int p_line, bool p_with_error = false) = 0; + virtual void set_executing_line(int p_line) = 0; + virtual void clear_executing_line() = 0; virtual void trim_trailing_whitespace() = 0; virtual void convert_indent_to_spaces() = 0; virtual void convert_indent_to_tabs() = 0; @@ -318,6 +320,8 @@ class ScriptEditor : public PanelContainer { void _goto_script_line2(int p_line); void _goto_script_line(REF p_script, int p_line); + void _set_execution(REF p_script, int p_line); + void _clear_execution(REF p_script); void _breaked(bool p_breaked, bool p_can_debug); void _show_debugger(bool p_show); void _update_window_menu(); |