Compiler-Ausgabe fuer Ant-Builds

Ulrich

2020-11-20 9778400996a77ca6118c4ed6857d9ced33dcf14b

 web/ui/ui.js

@@ -59,6 +59,7 @@
  $('#saveFileAs').on('click', fm_menu_datei_speichern_unter);
  $('#closeFile').on('click', fm_menu_datei_schliessen);
  $('#renameFile').on('click', fm_menu_datei_umbenennen);
  $('#m-zip').on('click', fm_menu_ordner_packen);
  $('#m-unzip').on('click', fm_menu_datei_entpacken);
  $('#m-html-export').on('click', fm_menu_html_export);
  $('#m-del').on('click', fm_menu_delete);
@@ -73,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');
  });
@@ -342,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) {
@@ -623,6 +629,17 @@
  fm_unzip_file(fname);
}

/**
 * Anname: Man ist in dem Ordner, der gepackt werden soll.
 * Dann ist das Archiv anschliessend im Eltern-Ordner.
 */
function fm_menu_ordner_packen() {
  //var gewaehlte = $('.datei-gewaehlt');
  //var fname = $(gewaehlte[0]).text();
  //console.log("Pfad: " + pfad + ", Datei: " + fname);
  fm_pack_folder();
}

/*
 * Hier merkt sich die Dateiverwalting die markierten Dateien fuer 
 * eine Dateioperation. Bei cut wird in der 'paste' Operation auf dem Server 
@@ -738,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,