dekodieren fuer Codemirror
| | |
| | | import java.util.logging.Level; |
| | | import java.util.logging.Logger; |
| | | import org.apache.commons.io.FileUtils; |
| | | import org.apache.commons.lang.StringEscapeUtils; |
| | | |
| | | /** |
| | | * |
| | |
| | | try { |
| | | targetFile.createNewFile(); |
| | | FileWriter w = new FileWriter(targetFile); |
| | | //w.write(StringEscapeUtils.unescapeHtml(contents)); |
| | | w.write(contents); |
| | | w.flush(); |
| | | w.close(); |
| | |
| | | |
| | | /* ---- codemirror editor handling -------- */ |
| | | |
| | | function htmlDecode(value){ |
| | | return $('<div/>').html(value).text(); |
| | | } |
| | | |
| | | function fm_code_edit(content, m) { |
| | | cm = CodeMirror.fromTextArea(document.getElementById("editspace"), { |
| | | lineNumbers: true, |
| | |
| | | } |
| | | } |
| | | }); |
| | | cm.setValue(content); |
| | | cm.setValue(htmlDecode(content)); |
| | | } |
| | | |
| | | |