Changeset 47 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui

Timestamp:

12/01/10 09:44:31 (14 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java (modified) (1 diff)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/EbnfHtmlFormatterVisitor.java

@@ -356 +356 @@
                 newLineOffsetCounter = 0;
 
-                if (node.getRulenumber() > 0)
-                        text(node.getRulenumber() + ". ");
-
-                String prefix = "<span lang=EN-GB style='mso-no-proof:no'><a name=\"T" + node.getName() + "\">"; 
+                String supportFieldsPrefix = "<!--[if supportFields]><span lang=EN-GB style='mso-no-proof:no'><span\r\n" + 
+                                "style='mso-element:field-begin'></span><span\r\n" + 
+                                "style='mso-spacerun:yes'> </span>AUTONUM<span style='mso-spacerun:yes'> \r\n" + 
+                                "</span></span><![endif]-->";
+                String supportFieldsSuffix = "<!--[if supportFields]><span\r\n" + 
+                                "lang=EN-GB style='mso-no-proof:no'><span style='mso-element:field-end'></span></span><![endif]-->";
+                String supportFieldsEnabler = "<![if !supportFields]>";
+                String supportFieldsDisabler = "<![endif]>";
+                
+                if (node.getRulenumber() > 0) {
+                        textTransformed(node.getRulenumber() + ". ", supportFieldsPrefix + "<span lang=EN-GB style='mso-no-proof:no'>" + supportFieldsEnabler + node.getRulenumber() + ".&nbsp;" + supportFieldsDisabler + "</span>" + supportFieldsSuffix);
+                }
+
+                String prefix = "<span lang=EN-GB style='mso-no-proof:no'><a name=\"T" + node.getName() + "\"></span>"; 
 //              metaText(prefix);
                 textTransformed(node.getName(), prefix + node.getName().replaceAll("[ \t\r\n]", "") + "</a>");