mirror of
https://github.com/godotengine/godot.git
synced 2025-10-19 16:03:29 +00:00
Use String.repeat() in more places
This commit is contained in:
parent
10d22a4b35
commit
6b84e258d2
12 changed files with 37 additions and 94 deletions
|
@ -3040,12 +3040,7 @@ String GDScriptLanguage::_get_indentation() const {
|
|||
|
||||
if (use_space_indentation) {
|
||||
int indent_size = EDITOR_GET("text_editor/behavior/indent/size");
|
||||
|
||||
String space_indent = "";
|
||||
for (int i = 0; i < indent_size; i++) {
|
||||
space_indent += " ";
|
||||
}
|
||||
return space_indent;
|
||||
return String(" ").repeat(indent_size);
|
||||
}
|
||||
}
|
||||
#endif
|
||||
|
@ -3092,12 +3087,7 @@ void GDScriptLanguage::auto_indent_code(String &p_code, int p_from_line, int p_t
|
|||
}
|
||||
|
||||
if (i >= p_from_line) {
|
||||
l = "";
|
||||
for (int j = 0; j < indent_stack.size(); j++) {
|
||||
l += indent;
|
||||
}
|
||||
l += st;
|
||||
|
||||
l = indent.repeat(indent_stack.size()) + st;
|
||||
} else if (i > p_to_line) {
|
||||
break;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue