From 95a2a7e525a1a981b54292d64639545df61deebe Mon Sep 17 00:00:00 2001 From: Paulb23 Date: Sun, 16 Apr 2017 16:47:59 +0100 Subject: [PATCH 1/3] Added ability to convert indent type --- editor/plugins/script_text_editor.cpp | 100 ++++++++++++++++++++++++++ editor/plugins/script_text_editor.h | 4 ++ 2 files changed, 104 insertions(+) diff --git a/editor/plugins/script_text_editor.cpp b/editor/plugins/script_text_editor.cpp index f020e36247d..65be93e771b 100644 --- a/editor/plugins/script_text_editor.cpp +++ b/editor/plugins/script_text_editor.cpp @@ -290,6 +290,96 @@ void ScriptTextEditor::trim_trailing_whitespace() { } } +void ScriptTextEditor::convert_indent_to_spaces() { + TextEdit *tx = code_editor->get_text_edit(); + Ref