X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Fparsing%2Fdocumentation%2FPreformatted.java;h=2036ee698996c61821ba80516dc6e5d10f320436;hb=d9a283acefae11c2cc094ed1c7b74759f8166f17;hp=6fe186ada0fdce4e07e975ba149646b9d1537aba;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/documentation/Preformatted.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/documentation/Preformatted.java index 6fe186ada..2036ee698 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/documentation/Preformatted.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/documentation/Preformatted.java @@ -1,44 +1,44 @@ -package org.simantics.scl.compiler.internal.parsing.documentation; - -public class Preformatted extends DocumentationElement { - - String[] lines; - - public Preformatted(String content) { - lines = content.split("\n"); - int indentation = Integer.MAX_VALUE; - for(int i=0;i0;--j) { - char c = line.charAt(j-1); - if(c != '\n' && c != '\r' && c != ' ') { - line = line.substring(0, j); - break; - } - } - lines[i] = line; - } - for(String line : lines) { - for(int i=1;i line.length() ? "" : line.substring(indentation); - } - } - - @Override - public void toHtml(HtmlUnparsingContext context) { - context.clear(); - StringBuilder b = context.getStringBuilder(); - b.append("
\n");
-        for(String line : lines)
-            b.append(line).append('\n');
-        b.append("
\n"); - } - -} +package org.simantics.scl.compiler.internal.parsing.documentation; + +public class Preformatted extends DocumentationElement { + + String[] lines; + + public Preformatted(String content) { + lines = content.split("\n"); + int indentation = Integer.MAX_VALUE; + for(int i=0;i0;--j) { + char c = line.charAt(j-1); + if(c != '\n' && c != '\r' && c != ' ') { + line = line.substring(0, j); + break; + } + } + lines[i] = line; + } + for(String line : lines) { + for(int i=1;i line.length() ? "" : line.substring(indentation); + } + } + + @Override + public void toHtml(HtmlUnparsingContext context) { + context.clear(); + StringBuilder b = context.getStringBuilder(); + b.append("
\n");
+        for(String line : lines)
+            b.append(line).append('\n');
+        b.append("
\n"); + } + +}