Ordner dav in ui.js hinzugefuegt

ulrich

2018-03-03 45ad000a53dfd90d36ff5c74d5900a24e7b2df00

 web/ui/ui.js

@@ -31,10 +31,12 @@
var loc;
var PERS_DIR = "Persoenlich";
var PUB_DIR = "Oeffentlich";
var DAV_DIR = "Austausch";
var BASE_DIR = "$basis";
var DATA_DIR = "$daten";
var WWW_DIR = "www";
var compilerIssues;
var fm_slideshow = false;

function fm_init() {
  $("#mce-editor").hide();
@@ -63,6 +65,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);
@@ -84,6 +87,16 @@
  console.log('protocol: ' + window.location.protocol);
  */
  loc = window.location.protocol + '//' + window.location.host;
}

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

function fm_resize_editor() {
@@ -116,6 +129,8 @@
    restdir = pfad.substr(BASE_DIR.length);
  } else if(pfad.indexOf(DATA_DIR) > -1) {
    restdir = pfad.substr(DATA_DIR.length);
  } else if(pfad.indexOf(DAV_DIR) > -1) {
    restdir = pfad.substr(DAV_DIR.length);
  }
  if(restdir !== undefined && restdir.startsWith('/')) {
    restdir = restdir.substr(1);