|
@@ -150,6 +150,9 @@ class Text2Xhtml {
|
|
str = StringTools.replace(str, "\r\n", "\n");
|
|
str = StringTools.replace(str, "\r\n", "\n");
|
|
str = StringTools.replace(str, "\r", "\n");
|
|
str = StringTools.replace(str, "\r", "\n");
|
|
str = StringTools.htmlEscape(str);
|
|
str = StringTools.htmlEscape(str);
|
|
|
|
+ while (!StringTools.endsWith(str, "\n\n")){
|
|
|
|
+ str += "\n";
|
|
|
|
+ }
|
|
|
|
|
|
var helper = new StringHelper(str);
|
|
var helper = new StringHelper(str);
|
|
var extractedPre = helper.extract("pre", pre, "<pre>$1</pre>");
|
|
var extractedPre = helper.extract("pre", pre, "<pre>$1</pre>");
|