svghmi/gen_index_xhtml.xslt
branchsvghmi
changeset 2932 abb995a30088
parent 2931 f51c0e2e0bcb
child 2933 ed3f712a8eef
equal deleted inserted replaced
2931:f51c0e2e0bcb 2932:abb995a30088
   989 </xsl:text>
   989 </xsl:text>
   990     <xsl:text>    },
   990     <xsl:text>    },
   991 </xsl:text>
   991 </xsl:text>
   992     <xsl:text>    close: function(){
   992     <xsl:text>    close: function(){
   993 </xsl:text>
   993 </xsl:text>
       
   994     <xsl:text>        document.removeEventListener("click", this.bound_inhibit_click_elsewhere, true);
       
   995 </xsl:text>
   994     <xsl:text>        this.reset_text();
   996     <xsl:text>        this.reset_text();
   995 </xsl:text>
   997 </xsl:text>
   996     <xsl:text>        this.reset_box();
   998     <xsl:text>        this.reset_box();
   997 </xsl:text>
   999 </xsl:text>
   998     <xsl:text>        this.element.appendChild(this.button_elt);
  1000     <xsl:text>        this.element.appendChild(this.button_elt);
   999 </xsl:text>
  1001 </xsl:text>
       
  1002     <xsl:text>        this.opened = false;
       
  1003 </xsl:text>
  1000     <xsl:text>        this.apply_cache();
  1004     <xsl:text>        this.apply_cache();
  1001 </xsl:text>
       
  1002     <xsl:text>        document.removeEventListener("click", this.bound_inhibit_click_elsewhere, true);
       
  1003 </xsl:text>
       
  1004     <xsl:text>        this.opened = false;
       
  1005 </xsl:text>
  1005 </xsl:text>
  1006     <xsl:text>    },
  1006     <xsl:text>    },
  1007 </xsl:text>
  1007 </xsl:text>
  1008     <xsl:text>    set_complete_text: function(){
  1008     <xsl:text>    set_complete_text: function(){
  1009 </xsl:text>
  1009 </xsl:text>