1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-04 12:00:25 +00:00

Disallow using of both tabs and spaces for indentation in the same file

Closes #7898
This commit is contained in:
Bojidar Marinov
2019-07-26 21:24:34 +03:00
parent adae2b0738
commit f12f3cf726
2 changed files with 40 additions and 2 deletions

View File

@@ -222,6 +222,12 @@ class GDScriptTokenizerText : public GDScriptTokenizer {
int tk_rb_pos;
String last_error;
bool error_flag;
enum {
INDENT_NONE,
INDENT_SPACES,
INDENT_TABS,
} file_indent_type;
#ifdef DEBUG_ENABLED
Vector<Pair<int, String> > warning_skips;
Set<String> warning_global_skips;