From 17727f11c12bd7176af946bb440d509cb558ac22 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Thu, 25 Jun 2020 07:48:23 +0000
Subject: [PATCH] Initialiser wieder zurueckgestellt auf JNDI
---
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