Fancybox ein- und ausschalten

ulrich

2017-08-05 76660f9ecd53c1a6f41433c0e68ba73b507a6d39

 web/ui/ui.js

@@ -35,6 +35,7 @@
var DATA_DIR = "$daten";
var WWW_DIR = "www";
var compilerIssues;
var fm_slideshow = false;

function fm_init() {
  $("#mce-editor").hide();
@@ -63,6 +64,7 @@
  $('#m-copy').on('click', fm_menu_copy);
  $('#m-paste').on('click', fm_menu_paste);
  $('#m-shrink').on('click', fm_menu_shrink);
  $('#m-toggle-slideshow').on('click', fm_toggle_show_slideshow);
  $('#m-test').on('click', fm_menu_test);
  $('#m-test-2').on('click', fm_menu_compile);
  $('#m-test-3').on('click', fm_menu_compile_all);
@@ -86,6 +88,16 @@
  loc = window.location.protocol + '//' + window.location.host;
}

function fm_toggle_show_slideshow() {
  if(fm_slideshow) {
    $('#m-toggle-slideshow').text('Diashow nicht zeigen');
    fm_slideshow = false;
  } else {
    $('#m-toggle-slideshow').text('Diashow zeigen');
    fm_slideshow = true;
  }
}

function fm_resize_editor() {
  window.clearTimeout(tmo);
  tmo = window.setTimeout(function () {