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

wmllint: fix unknown IDs in [generator] tag

Browse source
This commit is contained in:
Elvish_Hunter 2016-06-12 12:07:15 +02:00
parent 85f1869e56
commit d7b2fad190
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
data/tools/wmllint
View file

@ -1577,6 +1577,7 @@ def global_sanity_check(filename, lines):
in_combo = False
in_entry = False
in_slider = False
in_map_generator = False
in_name_generator = False
storeid = None
storevar = None
@ -1718,6 +1719,10 @@ def global_sanity_check(filename, lines):
in_slider = True
elif "[/slider]" in lines[i]:
in_slider = False
elif "[generator]" in lines[i]:
in_map_generator = True
elif "[/generator]" in lines[i]:
in_map_generator = False
elif name_generator_re.search(lines[i]):
in_name_generator = True
elif in_name_generator and ">>" in lines[i]:
@ -1908,7 +1913,8 @@ def global_sanity_check(filename, lines):
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:
and not in_combo and not in_entry and not in_slider \
and not in_map_generator:
ids = value.split(",")
for id_ in ids:
# removal of leading whitespace of items in comma-separated lists