Dateiverwaltung für die WebBox
ulrich
2020-06-17 4b5c8e671b8e425f91532fa6843ef6424d952912
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 {