diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-02 08:48:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-02 08:48:58 +0100 |
commit | 5efb11926da99b93d342b5f417b79adf0198d3cc (patch) | |
tree | cb2b2d94cc109ad86fb7947afdc3189e637e51a7 /modules/gdscript/gdscript_tokenizer.cpp | |
parent | ce9e90af016bfd0b8b187fde3fc5814483499f6c (diff) | |
parent | 626ca50676df4e47afd7fe7357d772b232a40145 (diff) | |
download | redot-engine-5efb11926da99b93d342b5f417b79adf0198d3cc.tar.gz |
Merge pull request #54346 from mhilbrunner/used-what-instead-of-what
Diffstat (limited to 'modules/gdscript/gdscript_tokenizer.cpp')
-rw-r--r-- | modules/gdscript/gdscript_tokenizer.cpp | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/modules/gdscript/gdscript_tokenizer.cpp b/modules/gdscript/gdscript_tokenizer.cpp index d4a098811a..cd247d1d26 100644 --- a/modules/gdscript/gdscript_tokenizer.cpp +++ b/modules/gdscript/gdscript_tokenizer.cpp @@ -1064,7 +1064,8 @@ void GDScriptTokenizer::check_indent() { // First time indenting, choose character now. indent_char = current_indent_char; } else if (current_indent_char != indent_char) { - Token error = make_error(vformat("Used \"%s\" for indentation instead \"%s\" as used before in the file.", String(¤t_indent_char, 1).c_escape(), String(&indent_char, 1).c_escape())); + Token error = make_error(vformat("Used %s character for indentation instead of %s as used before in the file.", + _get_indent_char_name(current_indent_char), _get_indent_char_name(indent_char))); error.start_line = line; error.start_column = 1; error.leftmost_column = 1; @@ -1114,6 +1115,12 @@ void GDScriptTokenizer::check_indent() { } } +String GDScriptTokenizer::_get_indent_char_name(char32_t ch) { + ERR_FAIL_COND_V(ch != ' ' && ch != '\t', String(&ch, 1).c_escape()); + + return ch == ' ' ? "space" : "tab"; +} + void GDScriptTokenizer::_skip_whitespace() { if (pending_indents != 0) { // Still have some indent/dedent tokens to give. |