You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
Reorganise text editor settings
This commit is contained in:
@@ -2703,10 +2703,10 @@ Error GDScriptLanguage::complete_code(const String &p_code, const String &p_path
|
||||
String GDScriptLanguage::_get_indentation() const {
|
||||
#ifdef TOOLS_ENABLED
|
||||
if (Engine::get_singleton()->is_editor_hint()) {
|
||||
bool use_space_indentation = EDITOR_DEF("text_editor/indent/type", false);
|
||||
bool use_space_indentation = EDITOR_DEF("text_editor/behavior/indent/type", false);
|
||||
|
||||
if (use_space_indentation) {
|
||||
int indent_size = EDITOR_DEF("text_editor/indent/size", 4);
|
||||
int indent_size = EDITOR_DEF("text_editor/behavior/indent/size", 4);
|
||||
|
||||
String space_indent = "";
|
||||
for (int i = 0; i < indent_size; i++) {
|
||||
|
||||
Reference in New Issue
Block a user