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

Notify iser when we add map bordewrs, in case the code hits a false positive.

Browse source
This commit is contained in:
Eric S. Raymond 2008-03-12 05:42:36 +00:00
parent 5f500d8627
commit 500fa1ee31
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/tools/wmllint
View file

@ -1700,8 +1700,8 @@ def translator(filename, mapxforms, textxform, versions):
if maptype == "mask":
add_border = False
if add_border:
if verbose:
print "adding border..."
print '%s, "line %d": adding map border...' % \
(filename, baseline)
newdata.append("border_size=1" + terminator)
have_header = True
# Start by duplicating the current outermost ring
@ -1718,6 +1718,8 @@ def translator(filename, mapxforms, textxform, versions):
outermap(lambda n: n.replace(r"Gg^Fet", r"Gs^Fp"), outmap)
modified = True
if add_usage:
print '%s, "line %d": adding %s usage header...' % \
(filename, baseline, maptype)
newdata.append("usage=" + maptype + terminator)
have_header = True
modified = True