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 |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/web/ui/ui.js b/web/ui/ui.js
index 556b455..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');
   });
@@ -345,6 +346,10 @@
   fm_build_app();
 }
 
+function fm_menu_ant_build() {
+  fm_ant_build();
+}
+
 function fm_mark_compile_results_in_editor(resp) {
   cm.clearGutter("breakpoints");
 

--
Gitblit v1.9.3