diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-27 10:48:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-27 10:48:31 +0200 |
| commit | 1107799de5d487f285d8a743357fd6928351a06d (patch) | |
| tree | 5cfdcf7ac3a53bde573e6e272d9e3f3460745ac7 /modules/gdscript/gdscript_tokenizer.h | |
| parent | 0a190ae3aaac83087bef2eb90423614656c947df (diff) | |
| parent | f12f3cf726c6e04b9beaaad4ae97b2946b9aecb8 (diff) | |
Merge pull request #30849 from bojidar-bg/7898-mixed-indentation
Disallow using of both tabs and spaces for indentation in the same file
Diffstat (limited to 'modules/gdscript/gdscript_tokenizer.h')
| -rw-r--r-- | modules/gdscript/gdscript_tokenizer.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/modules/gdscript/gdscript_tokenizer.h b/modules/gdscript/gdscript_tokenizer.h index 7b977ff67c..89d586b912 100644 --- a/modules/gdscript/gdscript_tokenizer.h +++ b/modules/gdscript/gdscript_tokenizer.h @@ -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; |