From f59dcede93351149bb5ff99c9310f467efd0d660 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Tue, 17 Nov 2020 15:54:25 +0000
Subject: [PATCH] Ant build begonnen

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