map: null,
wkt: new OpenLayers.Format.WKT({ internalProjection: Mercator, externalProjection: WGS84 }),
needsFormResubmit: false,
map: null,
wkt: new OpenLayers.Format.WKT({ internalProjection: Mercator, externalProjection: WGS84 }),
needsFormResubmit: false,
init: function() {
var externalGraphic, baseURL, baseLayer, layerOptions, extent, hidemessenger;
init: function() {
var externalGraphic, baseURL, baseLayer, layerOptions, extent, hidemessenger;
// XXX: ie has not guessed height of map main div yet during map
// initialisation. Now, it will read it correctly.
this.map.updateSize();
// XXX: ie has not guessed height of map main div yet during map
// initialisation. Now, it will read it correctly.
this.map.updateSize();
} else {
extent = new OpenLayers.Bounds(gMaxExtent.minlon, gMaxExtent.minlat, gMaxExtent.maxlon, gMaxExtent.maxlat)
.transform(WGS84, Mercator);
} else {
extent = new OpenLayers.Bounds(gMaxExtent.minlon, gMaxExtent.minlat, gMaxExtent.maxlon, gMaxExtent.maxlat)
.transform(WGS84, Mercator);
message = SyjStrings.requestError; // default message
if (transport.responseJSON) {
switch (transport.responseJSON.message) {
message = SyjStrings.requestError; // default message
if (transport.responseJSON) {
switch (transport.responseJSON.message) {