if ($("geom_data").value) {
this.viewLayer.addFeatures([this.wkt.read($("geom_data").value)]);
extent = this.viewLayer.getDataExtent();
// XXX: ie has not guessed height of map main div yet during map
// initialisation. Now, it will read it correctly.
this.map.updateSize();
if ($("geom_data").value) {
this.viewLayer.addFeatures([this.wkt.read($("geom_data").value)]);
extent = this.viewLayer.getDataExtent();
// XXX: ie has not guessed height of map main div yet during map
// initialisation. Now, it will read it correctly.
this.map.updateSize();