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

Timestamp:

11/30/10 13:32:25 (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) (3 diffs)

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

@@ -65 +65 @@
                         char originalPosition = originalText.charAt(bufferPositionOriginalText);
                         
+                        String commentPrefix = "<span lang=EN-GB style='color:green;mso-no-proof:no'>";
+                        String commentSuffix = "<o:p></o:p></span>";
+
                         if (formattedPositionNoWhitespaces != originalPosition) {
 //                              if ((currentMetaText != null) && (bufferPositionFormattedTextNoWhitespaces == currentMetaText.getOffset())) {
@@ -85 +88 @@
                                                         if (newLinesCount > 0) {
                                                                 if (scanBackNewlinesCount(result.toString(), result.toString().length()-1) == 0) {
-                                                                        result.append("\n\n");
+//                                                                      result.append("\n\n");
+//                                                                      result.append("<p>");
                                                                 }
-                                                                
-                                                                result.append(currentComment.getText());
-                                                                result.append("\n");
+                                                                result.append("\n<br/><br/>");
+                                                                result.append(commentPrefix + currentComment.getText() + commentSuffix);
+//                                                              result.append("\n");
+                                                                result.append("\n<br/>");
+//                                                              result.append("<p/>");
                                                         } else {
                                                                 String lastWhiteSpaces = scanBackWhitespaces(result.toString(), result.toString().length()-1);
                                                                 result.delete(result.toString().length() - lastWhiteSpaces.length(), result.toString().length());
-                                                                result.append(" " + stripEndingNewline(currentComment.getText()));
+//                                                              result.append(" " + stripEndingNewline(currentComment.getText()));
+                                                                result.append("&nbsp;" + commentPrefix + stripEndingNewline(currentComment.getText()) + commentSuffix);
                                                                 result.append(lastWhiteSpaces);
                                                         }
@@ -101 +108 @@
                                                         result.delete(result.toString().length() - lastWhiteSpaces.length(), result.toString().length());
                                                         if (newLinesCount > 0) {
-                                                                result.append("\n\n" + stripEndingNewline(currentComment.getText()));
+//                                                              result.append("\n\n" + stripEndingNewline(currentComment.getText()));
+                                                                result.append("<br/><br/>" + commentPrefix + stripEndingNewline(currentComment.getText()) + commentSuffix);
                                                         } else {
-                                                                result.append(" " + stripEndingNewline(currentComment.getText()));
+//                                                              result.append(" " + stripEndingNewline(currentComment.getText()));
+                                                                result.append("&nbsp;" + commentPrefix + stripEndingNewline(currentComment.getText()) + commentSuffix);
                                                         }
                                                         result.append(lastWhiteSpaces);