# HG changeset patch # User fknauft # Date 1315297415 -7200 # Node ID f64a779e94583e41560252a1014b10334cd934a4 # Parent b5d9237ca4d71f3b4ff4ff779ac3846fa5d2f968 show line and polygon-layer diff -r b5d9237ca4d7 -r f64a779e9458 gis_gui/blocks/map.js --- a/gis_gui/blocks/map.js Tue Sep 06 10:12:11 2011 +0200 +++ b/gis_gui/blocks/map.js Tue Sep 06 10:23:35 2011 +0200 @@ -147,6 +147,7 @@ dummymarker.setPosition(center); dummymarker.setVisible(false); dummymarker.setMap(map); + console.debug("map: ", map); console.debug("map reloaded"); }; @@ -154,7 +155,7 @@ guiBlocks.Block.prototype.updateMap = function(elem,map_params) { //************ - console.debug("bin in updateMap:" + elem + ", " + map_params); + console.debug("updateMap:", elem, ", ", map_params); //************* if (elem == null) {