Changeset 42 in default for trunk

Timestamp:

11/05/10 17:24:08 (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

@@ -201 +201 @@
         }
         
+        protected void space() {
+                metaText("<span style='mso-spacerun:yes'>&nbsp;</span>");
+                buf.append(" ");
+                newLineOffsetCounter++;
+        }
+        
+        protected void spaces(int count) {
+                metaText("<span style='mso-spacerun:yes'>");
+                buf.append(" ");
+                for (int i=0; i < count; i++) {
+                        metaText("&nbsp;");
+                }
+                metaText("</span>");
+        }
         // -----------------------------------------------------------------------------