HTML-Export

ulrich

2017-03-22 fad71945f44fd188b2ef78b88e638eb9d1cd0674

 web/ui/ui.js

@@ -57,6 +57,7 @@
  $('#closeFile').on('click', fm_menu_datei_schliessen);
  $('#renameFile').on('click', fm_menu_datei_umbenennen);
  $('#m-unzip').on('click', fm_menu_datei_entpacken);
  $('#m-html-export').on('click', fm_menu_html_export);
  $('#m-del').on('click', fm_menu_delete);
  $('#m-cut').on('click', fm_menu_cut);
  $('#m-copy').on('click', fm_menu_copy);
@@ -298,6 +299,10 @@
  return liste;
}

function fm_menu_html_export() {
  fm_export_html();
}

/* --------- Dateifunktionen Ende ---------- */

function fm_menu_test() {