svghmi/gen_index_xhtml.xslt
branchwxPython4
changeset 3711 f68449d64d1c
parent 3692 a9b787d84846
parent 3709 7fbcc7b741b7
child 3854 d29d67e86532
equal deleted inserted replaced
3710:51c2d434e10e 3711:f68449d64d1c
  2158 </xsl:text>
  2158 </xsl:text>
  2159     <xsl:text>        }
  2159     <xsl:text>        }
  2160 </xsl:text>
  2160 </xsl:text>
  2161     <xsl:text>    }
  2161     <xsl:text>    }
  2162 </xsl:text>
  2162 </xsl:text>
  2163     <xsl:text>    
  2163     <xsl:text>
  2164 </xsl:text>
  2164 </xsl:text>
  2165     <xsl:text>    undeafen(index){
  2165     <xsl:text>    undeafen(index){
  2166 </xsl:text>
  2166 </xsl:text>
  2167     <xsl:text>        this.deafen[index] = undefined;
  2167     <xsl:text>        this.deafen[index] = undefined;
  2168 </xsl:text>
  2168 </xsl:text>
  2169     <xsl:text>        let [new_val, old_val] = this.incoming[index];
  2169     <xsl:text>        let [new_val, old_val] = this.incoming[index];
  2170 </xsl:text>
  2170 </xsl:text>
  2171     <xsl:text>        this.incoming[index] = undefined;
  2171     <xsl:text>        this.incoming[index] = undefined;
       
  2172 </xsl:text>
       
  2173     <xsl:text>        // TODO: add timestamp argument to dispatch, so that defered data do not appear wrong on graphs
       
  2174 </xsl:text>
       
  2175     <xsl:text>        this.lastdispatch[index] = Date.now();
  2172 </xsl:text>
  2176 </xsl:text>
  2173     <xsl:text>        this.do_dispatch(new_val, old_val, index);
  2177     <xsl:text>        this.do_dispatch(new_val, old_val, index);
  2174 </xsl:text>
  2178 </xsl:text>
  2175     <xsl:text>    }
  2179     <xsl:text>    }
  2176 </xsl:text>
  2180 </xsl:text>
  5586     <xsl:text>    },
  5590     <xsl:text>    },
  5587 </xsl:text>
  5591 </xsl:text>
  5588     <xsl:if test="$have_value">
  5592     <xsl:if test="$have_value">
  5589       <xsl:text>    animate: function(){
  5593       <xsl:text>    animate: function(){
  5590 </xsl:text>
  5594 </xsl:text>
  5591       <xsl:text>        this.value_elt.textContent = String(this.display);
  5595       <xsl:text>        multiline_to_svg_text(this.value_elt, String(this.display));
  5592 </xsl:text>
  5596 </xsl:text>
  5593       <xsl:text>    },
  5597       <xsl:text>    },
  5594 </xsl:text>
  5598 </xsl:text>
  5595     </xsl:if>
  5599     </xsl:if>
  5596     <xsl:for-each select="$action_elements">
  5600     <xsl:for-each select="$action_elements">
  5624       <xsl:value-of select="func:escape_quotes(@inkscape:label)"/>
  5628       <xsl:value-of select="func:escape_quotes(@inkscape:label)"/>
  5625       <xsl:text>");
  5629       <xsl:text>");
  5626 </xsl:text>
  5630 </xsl:text>
  5627     </xsl:for-each>
  5631     </xsl:for-each>
  5628     <xsl:if test="$have_value">
  5632     <xsl:if test="$have_value">
  5629       <xsl:text>        this.value_elt.textContent = "";
  5633       <xsl:text>        multiline_to_svg_text(this.value_elt, "");
  5630 </xsl:text>
  5634 </xsl:text>
  5631     </xsl:if>
  5635     </xsl:if>
  5632     <xsl:text>    },
  5636     <xsl:text>    },
  5633 </xsl:text>
  5637 </xsl:text>
  5634   </xsl:template>
  5638   </xsl:template>
  9267 </xsl:text>
  9271 </xsl:text>
  9268     <xsl:text>        let time = Date.now();
  9272     <xsl:text>        let time = Date.now();
  9269 </xsl:text>
  9273 </xsl:text>
  9270     <xsl:text>
  9274     <xsl:text>
  9271 </xsl:text>
  9275 </xsl:text>
       
  9276     <xsl:text>        console.log("dispatch(",value,oldval, index, time);
       
  9277 </xsl:text>
  9272     <xsl:text>        // naive local buffer impl. 
  9278     <xsl:text>        // naive local buffer impl. 
  9273 </xsl:text>
  9279 </xsl:text>
  9274     <xsl:text>        // data is updated only when graph is visible
  9280     <xsl:text>        // data is updated only when graph is visible
  9275 </xsl:text>
  9281 </xsl:text>
  9276     <xsl:text>        // TODO: replace with separate recording
  9282     <xsl:text>        // TODO: replace with separate recording