mirror of
https://github.com/godotengine/godot.git
synced 2025-10-20 00:13:30 +00:00
Merge pull request #27170 from timoschwarzer/allow-whitespaces-in-warning-ignore-comments
Allow whitespaces in warning-ignore comments
This commit is contained in:
commit
07b76c0376
2 changed files with 7 additions and 6 deletions
|
@ -535,13 +535,14 @@ void GDScriptTokenizerText::_advance() {
|
|||
}
|
||||
}
|
||||
#ifdef DEBUG_ENABLED
|
||||
if (comment.begins_with("#warning-ignore:")) {
|
||||
String code = comment.get_slice(":", 1);
|
||||
String comment_content = comment.trim_prefix("#").trim_prefix(" ");
|
||||
if (comment_content.begins_with("warning-ignore:")) {
|
||||
String code = comment_content.get_slice(":", 1);
|
||||
warning_skips.push_back(Pair<int, String>(line, code.strip_edges().to_lower()));
|
||||
} else if (comment.begins_with("#warning-ignore-all:")) {
|
||||
String code = comment.get_slice(":", 1);
|
||||
} else if (comment_content.begins_with("warning-ignore-all:")) {
|
||||
String code = comment_content.get_slice(":", 1);
|
||||
warning_global_skips.insert(code.strip_edges().to_lower());
|
||||
} else if (comment.strip_edges() == "#warnings-disable") {
|
||||
} else if (comment_content.strip_edges() == "warnings-disable") {
|
||||
ignore_warnings = true;
|
||||
}
|
||||
#endif // DEBUG_ENABLED
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue