6558   <xsl:template match="widget[@type='Slider']" mode="widget_class">

  6558   <xsl:template match="widget[@type='Slider']" mode="widget_class">

  6559     <xsl:text>class </xsl:text>

  6559     <xsl:text>class </xsl:text>

  6560     <xsl:text>SliderWidget</xsl:text>

  6560     <xsl:text>SliderWidget</xsl:text>

  6561     <xsl:text> extends Widget{

  6561     <xsl:text> extends Widget{

  6562 </xsl:text>

  6562 </xsl:text>

  6565     <xsl:text>    frequency = 5;

  6563     <xsl:text>    frequency = 5;

  6566 </xsl:text>

  6564 </xsl:text>

  6567     <xsl:text>    range = undefined;

  6565     <xsl:text>    range = undefined;

  6568 </xsl:text>

  6566 </xsl:text>

  6569     <xsl:text>    handle_orig = undefined;

  6567     <xsl:text>    handle_orig = undefined;

  7225     <xsl:text>        }

  7223     <xsl:text>        }

  7226 </xsl:text>

  7224 </xsl:text>

  7227     <xsl:text>

  7225     <xsl:text>

  7228 </xsl:text>

  7226 </xsl:text>

  7229     <xsl:text>    }

  7227     <xsl:text>    }

  7232 </xsl:text>

  7228 </xsl:text>

  7233     <xsl:text>}

  7229     <xsl:text>}

  7234 </xsl:text>

  7230 </xsl:text>

  7235   </xsl:template>

  7231   </xsl:template>

  7236   <xsl:template match="widget[@type='Slider']" mode="widget_defs">

  7232   <xsl:template match="widget[@type='Slider']" mode="widget_defs">