diff options
| author | Dawid Wdowiak <dwdw9@wp.pl> | 2019-01-04 13:09:01 +0100 |
|---|---|---|
| committer | Dawid Wdowiak <dawidwdowiak@hotmail.com> | 2019-06-23 15:58:07 +0200 |
| commit | 0f14489ecb29519b269cba178f23b6b727fd6445 (patch) | |
| tree | 3ce779af059ae53e9486ee49934b0ae947b82b80 /editor/plugins/script_text_editor.h | |
| parent | 4d6ad16ac4e07ab0e65a75262b2d7ccd1913c844 (diff) | |
Center script line when double clicked on error in debugger
Diffstat (limited to 'editor/plugins/script_text_editor.h')
| -rw-r--r-- | editor/plugins/script_text_editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.h b/editor/plugins/script_text_editor.h index 24d40a5eec..89975e061e 100644 --- a/editor/plugins/script_text_editor.h +++ b/editor/plugins/script_text_editor.h @@ -201,6 +201,7 @@ public: virtual void goto_line(int p_line, bool p_with_error = false); void goto_line_selection(int p_line, int p_begin, int p_end); + void goto_line_centered(int p_line); virtual void set_executing_line(int p_line); virtual void clear_executing_line(); |