From 4b5c8e671b8e425f91532fa6843ef6424d952912 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Wed, 17 Jun 2020 09:52:30 +0000
Subject: [PATCH] Initialiser geaendert
---
web/ui/api.js | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/web/ui/api.js b/web/ui/api.js
index 40534fe..aba6cfd 100644
--- a/web/ui/api.js
+++ b/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 {
--
Gitblit v1.9.3