Ant imports hinzugefuegt, BuildListener gebaut

ulrich

2020-11-17 2e303f595176362f72c6bd77281dd0b470df5861

 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,