Rudimentaere Breadcrumb-Ansicht hinzugefuegt

ulrich@undisclosed

2020-05-04 d61a61bfa06aaa5c62cc137e059e17f921689e05

 web/ui/ui.js

@@ -750,6 +750,7 @@
function fm_code_edit(content, m) {
  cm = CodeMirror.fromTextArea(document.getElementById("editspace"), {
    lineNumbers: true,
    lineWrapping: true,
    gutters: ["CodeMirror-linenumbers", "breakpoints"],
    mode: m,
    viewportMargin : Infinity,