0

Allow the poiTitle setting to be tileset-specific. Added docs

Closes #761
This commit is contained in:
Andrew Chin
2012-07-28 20:53:03 -04:00
parent 221269287e
commit 8c9de7a575
6 changed files with 11 additions and 7 deletions

View File

@@ -196,18 +196,14 @@ def main():
markerSetDict[name]['raw'].append(d)
#print markerSetDict
poiDropdownTitle = config.get('poiDropdownTitle', 'Signs')
with open(os.path.join(destdir, "markersDB.js"), "w") as output:
output.write("var markersDB=")
json.dump(markerSetDict, output, indent=2)
output.write(";\n");
output.write("var poiDropdownTitle = '%s';\n" % poiDropdownTitle)
with open(os.path.join(destdir, "markers.js"), "w") as output:
output.write("var markers=")
json.dump(markers, output, indent=2)
output.write(";\n");
output.write("var poiDropdownTitle = '%s';\n" % poiDropdownTitle)
with open(os.path.join(destdir, "baseMarkers.js"), "w") as output:
output.write("overviewer.util.injectMarkerScript('markersDB.js');\n")
output.write("overviewer.util.injectMarkerScript('markers.js');\n")