0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wmllint: do not warn about unknown IDs in [aspect]

Browse source 
(cherry-picked from commit 9b5c0dda5c)
This commit is contained in:
Elvish_Hunter 2018-08-12 16:21:15 +02:00
parent 01d5998866
commit 87999f68b4
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
data/tools/wmllint
View file

@ -1672,6 +1672,7 @@ def global_sanity_check(filename, lines):
in_goal = False
in_set_menu_item = False
in_clear_menu_item = False
in_aspect = False
in_facet = False
in_sound_source = False
in_remove_sound_source = False
@ -1764,6 +1765,10 @@ def global_sanity_check(filename, lines):
in_clear_menu_item = True
elif "[/clear_menu_item]" in lines[i]:
in_clear_menu_item = False
elif "[aspect]" in lines[i]:
in_aspect = True
elif "[/aspect]" in lines[i]:
in_aspect = False
elif "[facet]" in lines[i]:
in_facet = True
elif "[/facet]" in lines[i]:
@ -2040,9 +2045,10 @@ def global_sanity_check(filename, lines):
elif value and value[0] in ("$", "{"):
continue
elif preamble_seen and subtag_depth > 0 and not ignore_id \
and not in_object and not in_cfg and not in_facet \
and not in_sound_source and not in_remove_sound_source \
and not in_stage and not in_goal and not in_set_menu_item \
and not in_object and not in_cfg and not in_aspect \
and not in_facet and not in_sound_source \
and not in_remove_sound_source and not in_stage \
and not in_goal and not in_set_menu_item \
and not in_clear_menu_item and not directly_in_event[-1] \
and not in_time_area and not in_trait and not in_checkbox \
and not in_combo and not in_entry and not in_slider \