| 1 |
<?php |
<?php |
| 2 |
// $Id: mapcontext.inc.php,v 1.1.2.9 2008/06/06 08:02:08 openwereld Exp $ |
// $Id: mapcontext.inc.php,v 1.1.2.10 2008/06/30 13:01:03 openwereld Exp $ |
| 3 |
|
|
| 4 |
require_once('dom.inc.php'); |
require_once('dom.inc.php'); |
| 5 |
|
|
| 139 |
// extension: default settings for openlayers map client |
// extension: default settings for openlayers map client |
| 140 |
$layer_extension = dom_appendChild($layer, $this->dom->createElement('Extension')); |
$layer_extension = dom_appendChild($layer, $this->dom->createElement('Extension')); |
| 141 |
dom_appendChild($layer_extension, $this->dom->createElement('ol:transparent', 'true')); |
dom_appendChild($layer_extension, $this->dom->createElement('ol:transparent', 'true')); |
| 142 |
dom_appendChild($layer_extension, $this->dom->createElement('ol:isBaseLayer', 'false')); |
dom_appendChild($layer_extension, $this->dom->createElement('ol:isBaseLayer', $layerData['baselayer'] == 1 ? 'true' : 'false')); |
| 143 |
if (isset($layerData['opacity'])) { |
if (isset($layerData['opacity'])) { |
| 144 |
dom_appendChild($layer_extension, $this->dom->createElement('ol:opacity', $layerData['opacity'])); |
dom_appendChild($layer_extension, $this->dom->createElement('ol:opacity', $layerData['opacity'])); |
| 145 |
} |
} |