dekodieren fuer Codemirror

ulrich

2017-03-06 fab80c872af697d61f200fd410a7ecc64ca0a537

 web/ui/ui.js

@@ -761,7 +761,9 @@
      }
    }
  });
  cm.setValue(htmlDecode(content));
  //cm.setValue(htmlDecode(content));
  //cm.setValue(content);
  cm.setValue(unescapeHtml(content));
}


@@ -804,6 +806,31 @@
  return '{"' + obj.constructor.name + '":' + JSON.stringify(obj) + '}';
}

function escapeHtml(text) {
  text = text.replace(/\u228/g,'ä');
  text = text.replace(/\u246/g,'ö');
  text = text.replace(/\u252/g,'ü');
  text = text.replace(/\u196/g,'Ä');
  text = text.replace(/\u214/g,'Ö');
  text = text.replace(/\u220/g,'Ü');
  text = text.replace(/\u223/g,'ß');
  text = text.replace(/\u26/g,'&');
  return text;
}

function unescapeHtml(text) {
  text = text.replace(/ä/g, String.fromCharCode(228));
  text = text.replace(/ö/g, String.fromCharCode(246));
  text = text.replace(/ü/g, String.fromCharCode(252));
  text = text.replace(/Ä/g, String.fromCharCode(196));
  text = text.replace(/Ö/g, String.fromCharCode(214));
  text = text.replace(/Ü/g, String.fromCharCode(220));
  text = text.replace(/ß/g, String.fromCharCode(223));
  text = text.replace(/&/g, String.fromCharCode(26));
  return text;
}


/* ----- Objekte ----- */

function FileList(fl) {