<?php #$Id$ #$Header: /cvsroot/mapbender/mapbender/http/javascripts/mod_zoomOut1.php,v 1.8 2005/09/13 18:16:42 bjoern_heuser Exp $ require_once(dirname(__FILE__)."/../php/mb_validateSession.php"); $sql = "SELECT e_src, e_target FROM gui_element WHERE e_id = 'zoomOut1' AND fkey_gui_id = $1"; $v = array($gui_id); $t = array("s"); $res = db_prep_query($sql, $v, $t); $cnt = 0; while($row = db_fetch_array($res)){ $e_src = $row["e_src"]; $e_target = $row["e_target"]; $cnt++; } if($cnt > 1){ echo "alert('zoomOut1: ID not unique!');";} ?> var mod_zoomOut_img = new Image(); mod_zoomOut_img.src = "<?php echo $e_src; ?>"; var mod_zoomOut_img_over = new Image(); mod_zoomOut_img_over.src = "<?php echo preg_replace("/_off/","_over",$e_src); ?>"; function mod_zoomOut1(){ zoom("<?php echo $e_target; ?>", false,2.0); } function mod_zoomOut1_init(obj){ document.getElementById("zoomOut1").src = mod_zoomOut_img_over.src; obj.onmouseover = new Function("mod_zoomOut1_over()"); obj.onmouseout = new Function("mod_zoomOut1_out()"); } function mod_zoomOut1_over(){ document.getElementById("zoomOut1").src = mod_zoomOut_img_over.src; } function mod_zoomOut1_out(){ document.getElementById("zoomOut1").src = mod_zoomOut_img.src; }