Erweiterung der Verwendung von Codemirror (in Arbeit)

ulrich

2020-06-17 d0301588b8cbce69c6ac9ae2e448ed1e288c9799

 web/ui/api.js

@@ -256,6 +256,8 @@
        mode = 'xml';
      } else if(fname.endsWith('properties')) {
        mode = 'xml';
      } else if(fname.endsWith('adoc')) {
        mode = 'text/x-markdown';
      }
      fm_text_edit(resp, mode);
    } else {