+
+ if (map.baseLayer.name == "Mapnik") {
+ $("format_mapnik").checked = true;
+ } else if (map.baseLayer.name == "Osmarender") {
+ $("format_osmarender").checked = true;
+ }
+
+ formatChanged();
+
+ $("viewanchor").className = "";
+ $("exportanchor").className = "active";