From 2e303f595176362f72c6bd77281dd0b470df5861 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Tue, 17 Nov 2020 17:06:44 +0000
Subject: [PATCH] Ant imports hinzugefuegt, BuildListener gebaut

---
 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