From 942d637e33c73edd807951f8100634cd659876fa Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Mon, 06 Mar 2017 07:20:17 +0000
Subject: [PATCH] dekodieren fuer Codemirror

---
 web/ui/ui.js |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/web/ui/ui.js b/web/ui/ui.js
index 014e801..f3587cb 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -742,6 +742,10 @@
 
 /* ---- 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,
@@ -756,7 +760,7 @@
       }
     }
   });
-  cm.setValue(content);
+  cm.setValue(htmlDecode(content));
 }
 
 

--
Gitblit v1.9.3