equal
deleted
inserted
replaced
31 if (this.active_style && this.inactive_style) { |
31 if (this.active_style && this.inactive_style) { |
32 this.active_elt.setAttribute("style", "display:none"); |
32 this.active_elt.setAttribute("style", "display:none"); |
33 this.inactive_elt.setAttribute("style", this.inactive_style); |
33 this.inactive_elt.setAttribute("style", this.inactive_style); |
34 } |
34 } |
35 |
35 |
36 this.element.setAttribute("onmousedown", "hmi_widgets["+this.element_id+"].on_mouse_down(evt)"); |
36 this.element.setAttribute("onmousedown", "hmi_widgets[\""+this.element_id+"\"].on_mouse_down(evt)"); |
37 this.element.setAttribute("onmouseup", "hmi_widgets["+this.element_id+"].on_mouse_up(evt)"); |
37 this.element.setAttribute("onmouseup", "hmi_widgets[\""+this.element_id+"\"].on_mouse_up(evt)"); |
38 } |
38 } |
39 } |
39 } |
40 || |
40 || |
41 } |
41 } |
42 |
42 |