rem: OpenLayers.Event.observe(controls[i].panel_div, "mouseup", OpenLayers.Event.stop.bindAsEventListener()); 
context:     addControls: function(controls) {        if (!(controls instanceof Array)) {            controls = [controls];        }        this.controls = this.controls.concat(controls);                // Give each control a panel_div which will be used later.        // Access to this div is via the panel_div attribute of the         // control added to the panel.        for (var i = 0; i < controls.length; i++) {            var element = document.createElement("div");            var textNode = document.createTextNode(" ");            controls[i].panel_div = element;            OpenLayers.Event.observe(controls[i].panel_div, "click",                                      this.onClick.bind(this, controls[i]));            OpenLayers.Event.observe(controls[i].panel_div, "mousedown",                               OpenLayers.Event.stop.bindAsEventListener());            OpenLayers.Event.observe(controls[i].panel_div, "mouseup",                                   OpenLayers.Event.stop.bindAsEventListener());        }            if (this.map) { // map.addControl() has already been called on the panel            for (var i = 0; i < controls.length; i++) {                this.map.addControl(controls[i]);                controls[i].deactivate();            }            this.redraw();        }    },
meta: 8310	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8310/8d2dfcf218f4671abd4aaf9634bad8819147e164/Panel.js/buggy/lib/OpenLayers/Control/Panel.js