From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Apr 2001 15:00:00 +0000 (+0000)
Subject: Improved rendering for rewriting steps: a little indentation added
X-Git-Tag: v0_1_2~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=722f0a29884564efec65ea5e9c422c297eea8353;p=helm.git

Improved rendering for rewriting steps: a little indentation added
and a bug in "charcount" called fix.

REMEMBER: charcount mode must be used only on the first child
 because it counts the size of the node considered, its descendants,
 its siblings and all their descendants
---

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index ba3ec1d00..75b7bcc3a 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -643,13 +643,13 @@
         </xsl:otherwise>
        </xsl:choose>
        <xsl:variable name="charlength_first">
-        <xsl:apply-templates select="*[3]" mode="charcount"/>
+        <xsl:apply-templates select="*[3]/*[1]" mode="charcount"/>
        </xsl:variable>
        <xsl:variable name="charlength_second">
-        <xsl:apply-templates select="*[4]" mode="charcount"/>
+        <xsl:apply-templates select="*[4]/*[1]" mode="charcount"/>
        </xsl:variable>
        <xsl:variable name="charlength_side_proof">
-        <xsl:apply-templates select="*[5]" mode="charcount"/>
+        <xsl:apply-templates select="*[5]/*[1]" mode="charcount"/>
        </xsl:variable>
        <xsl:variable name="split1"
           select="$charlength_first + $charlength_second > $framewidth"/>
@@ -667,7 +667,7 @@
        <xsl:if test="$split1">
        <br/>
        <xsl:call-template name="make_indent">
-        <xsl:with-param name="current_indent" select="$current_indent"/> 
+        <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
        </xsl:call-template>
        </xsl:if>
        <FONT color="red">with&#x00a0;</FONT>
@@ -676,12 +676,12 @@
        <xsl:if test="$split2">
        <br/>
        <xsl:call-template name="make_indent">
-        <xsl:with-param name="current_indent" select="$current_indent"/> 
+        <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
        </xsl:call-template>
        </xsl:if>
        <FONT color="red">by&#x00a0;</FONT>
        <xsl:apply-templates select="*[5]">
-        <xsl:with-param name="current_indent" select="$current_indent+5"/>
+        <xsl:with-param name="current_indent" select="$current_indent+7"/>
        </xsl:apply-templates>
       </xsl:when>
       <!-- rewrite and apply -->