From 5794c8f1f5e48dea6afe808e374265ca69f7419a Mon Sep 17 00:00:00 2001
From: ulrich
Date: Fri, 01 Jan 2021 11:39:12 +0000
Subject: [PATCH] Logging-Einstellungen ausgeschaltet und die MEthode zur Bestimmung des Daten-Ordners angepasst.

---
 web/ui/ui.js |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/web/ui/ui.js b/web/ui/ui.js
index 2124a3b..ad9a26e 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -74,6 +74,7 @@
   $('#m-test-3').on('click', fm_menu_compile_all);
   $('#m-compile-results').on('click', fm_fusszeile_zeigen);
   $('#m-build-app').on('click', fm_menu_build_app);
+  $('#m-ant-build').on('click', fm_menu_ant_build);
   $('#saveModal').on('hidden.bs.modal', function (e) {
     $('#modal_ok').attr('onclick','').unbind('click');
   });
@@ -343,6 +344,10 @@
 
 function fm_menu_build_app() {
   fm_build_app();
+}
+
+function fm_menu_ant_build() {
+  fm_ant_build();
 }
 
 function fm_mark_compile_results_in_editor(resp) {
@@ -750,6 +755,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,

--
Gitblit v1.9.3