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