[css2] Now properly replaces <length> by <span...>&lt;length&gt;</span>

bert-github · bert-github · commit 11d68c3bc756 · 2002-11-28T21:27:53.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401988
diff --git a/css2/bin/pextr b/css2/bin/pextr
@@ -13,7 +13,7 @@
 #     <span class="propinst-name">&lt;'name'&gt;</span>     
 #
 # Ian Jacobs - ij@w3.org (Based on work by Arnaud Le Hors)
-# $Id: pextr,v 1.24 2002-11-28 20:58:35 bbos Exp $
+# $Id: pextr,v 1.25 2002-11-28 21:27:53 bbos Exp $
 #
 
 $PROGNAME = substr($0, rindex($0, "/") + 1);
@@ -147,9 +147,13 @@ sub format_media {
 }
 
 sub format_compval {
+$values = $_[0];
+$values =~ s/<([^>']*)>/<span class=\"value-inst-$1\">&lt;$1&gt;<\/span>/g;
+$values =~ s/<[']([^']*)[']>/<span class=\"propinst-$1\">&lt;'$1'&gt;<\/span>/g;
+$values =~ s/inherit/<span class=\"value-inst-inherit\">inherit<\/span>/g;
 print output "<tr valign=baseline>";
 print output "<td><em>Computed&nbsp;value:</em>&nbsp;&nbsp;";
-print output "<td>$_[0]\n";
+print output "<td>$values\n";
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@`
`13`	`13`	`# <span class="propinst-name"><'name'></span>`
`14`	`14`	`#`
`15`	`15`	`# Ian Jacobs - ij@w3.org (Based on work by Arnaud Le Hors)`
`16`		`-# $Id: pextr,v 1.24 2002-11-28 20:58:35 bbos Exp $`
	`16`	`+# $Id: pextr,v 1.25 2002-11-28 21:27:53 bbos Exp $`
`17`	`17`	`#`
`18`	`18`
`19`	`19`	`$PROGNAME = substr($0, rindex($0, "/") + 1);`
`@@ -147,9 +147,13 @@ sub format_media {`
`147`	`147`	`}`
`148`	`148`
`149`	`149`	`sub format_compval {`
	`150`	`+$values = $_[0];`
	`151`	`+$values =~ s/<([^>']*)>/<span class=\"value-inst-$1\"><$1><\/span>/g;`
	`152`	`+$values =~ s/<[']([^']*)[']>/<span class=\"propinst-$1\"><'$1'><\/span>/g;`
	`153`	`+$values =~ s/inherit/<span class=\"value-inst-inherit\">inherit<\/span>/g;`
`150`	`154`	`print output "<tr valign=baseline>";`
`151`	`155`	`print output "<td><em>Computed value:</em>  ";`
`152`		`-print output "<td>$_[0]\n";`
	`156`	`+print output "<td>$values\n";`
`153`	`157`	`}`
`154`	`158`
`155`	`159`