Added poiDropdownTitle variable to configfile to be able to customise the "Signs" dropdown title, as this might not be relevant if people have different filters.

This commit is contained in:
mc-zem
2012-07-28 20:34:16 -04:00
committed by Andrew Chin
parent 944de7bf2d
commit 221269287e
2 changed files with 5 additions and 1 deletions
+4
View File
@@ -196,14 +196,18 @@ 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")