diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-18 14:16:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-18 14:16:58 +0200 |
| commit | 5237bc952db59f452e760ac07e68fbb231003d49 (patch) | |
| tree | d2e94c525c6dadb695a40868ebaf5fd2157f01ce /editor/plugins/script_editor_plugin.h | |
| parent | 7088d9e30f7afd8ca9cf262fc340266d4218808c (diff) | |
| parent | c59bd79e02548533c61e1ce30e3009f7804658f7 (diff) | |
Merge pull request #8424 from Paulb23/convert_indent
Support for space indentation
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 51d9bd3fc8..fde3432b51 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -91,6 +91,8 @@ public: 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 trim_trailing_whitespace() = 0; + virtual void convert_indent_to_spaces() = 0; + virtual void convert_indent_to_tabs() = 0; virtual void ensure_focus() = 0; virtual void tag_saved_version() = 0; virtual void reload(bool p_soft) = 0; @@ -252,6 +254,8 @@ class ScriptEditor : public VBoxContainer { void _res_saved_callback(const Ref<Resource> &p_res); bool trim_trailing_whitespace_on_save; + bool use_space_indentation; + bool convert_indent_on_save; void _trim_trailing_whitespace(TextEdit *tx); |