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