diff options
| -rw-r--r-- | public/js/extra.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index bc6092db..1dd1d556 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -476,10 +476,10 @@ function finishView(view) { var code = ""; if (codeDiv.length > 0) code = codeDiv.html(); else code = langDiv.html(); - code = md.utils.unescapeAll(code); + code = S(code).unescapeHTML().s; if (!reallang) { var result = { - value: md.utils.escapeHtml(code) + value: S(code).escapeHTML().s }; } else if (reallang == "tiddlywiki" || reallang == "mediawiki") { var result = { |