Zeilenumbruch im Texteditor eingeschaltet

ulrich

2019-12-28 6413b48bad846466999f3ba6e3235bbddeb37a3e

 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);
@@ -66,6 +67,7 @@
  $('#m-copy').on('click', fm_menu_copy);
  $('#m-paste').on('click', fm_menu_paste);
  $('#m-shrink').on('click', fm_menu_shrink);
  $('#m-rotate').on('click', fm_menu_rotate);
  $('#m-toggle-slideshow').on('click', fm_toggle_show_slideshow);
  $('#m-test').on('click', fm_menu_test);
  $('#m-test-2').on('click', fm_menu_compile);
@@ -622,6 +624,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 
@@ -737,6 +750,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,