From 45ad000a53dfd90d36ff5c74d5900a24e7b2df00 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sat, 03 Mar 2018 18:19:22 +0000
Subject: [PATCH] Ordner dav in ui.js hinzugefuegt
---
web/ui/ui.js | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/web/ui/ui.js b/web/ui/ui.js
index ca6a3f8..7485ca8 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -31,6 +31,7 @@
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";
@@ -90,10 +91,10 @@
function fm_toggle_show_slideshow() {
if(fm_slideshow) {
- $('#m-toggle-slideshow').text('Diashow nicht zeigen');
+ $('#m-toggle-slideshow').text('Diashow einschalten');
fm_slideshow = false;
} else {
- $('#m-toggle-slideshow').text('Diashow zeigen');
+ $('#m-toggle-slideshow').text('Diashow ausschalten');
fm_slideshow = true;
}
}
@@ -128,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);
--
Gitblit v1.9.3