diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-13 19:57:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13 19:57:34 +0100 |
| commit | 2f31d31c237214587b8cec1dcdd4d713c60f461c (patch) | |
| tree | 8e70100f04d3f0db2be66ab293fcf224802d51ea /scene/gui/text_edit.h | |
| parent | d030c17d5ea1c6e40d8c45a7cffd072242dcb735 (diff) | |
| download | redot-engine-2f31d31c237214587b8cec1dcdd4d713c60f461c.tar.gz | |
Revert "Use more subtle indentation guides in the script editor"
Diffstat (limited to 'scene/gui/text_edit.h')
| -rw-r--r-- | scene/gui/text_edit.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scene/gui/text_edit.h b/scene/gui/text_edit.h index 7ecb2be6e7..f069ffc167 100644 --- a/scene/gui/text_edit.h +++ b/scene/gui/text_edit.h @@ -167,7 +167,6 @@ private: Color completion_font_color; Color caret_color; Color caret_background_color; - Color indent_guide_color; Color line_number_color; Color safe_line_number_color; Color font_color; @@ -277,7 +276,6 @@ private: int wrap_right_offset; bool setting_row; - bool draw_indent_guides; bool draw_tabs; bool override_selected_font_color; bool cursor_changed_dirty; @@ -590,8 +588,6 @@ public: bool is_indent_using_spaces() const; void set_indent_size(const int p_size); int get_indent_size(); - void set_draw_indent_guides(bool p_draw); - bool is_drawing_indent_guides() const; void set_draw_tabs(bool p_draw); bool is_drawing_tabs() const; void set_override_selected_font_color(bool p_override_selected_font_color); |