projects
/
mkws-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
08c6361
)
Add Records/Targets translation for German and Danish.
author
Mike Taylor
<mike@indexdata.com>
Mon, 20 Jan 2014 12:16:07 +0000
(12:16 +0000)
committer
Mike Taylor
<mike@indexdata.com>
Mon, 20 Jan 2014 12:16:07 +0000
(12:16 +0000)
tools/htdocs/mkws.js
patch
|
blob
|
history
diff --git
a/tools/htdocs/mkws.js
b/tools/htdocs/mkws.js
index
e4ce9e6
..
0dc511f
100644
(file)
--- a/
tools/htdocs/mkws.js
+++ b/
tools/htdocs/mkws.js
@@
-18,7
+18,10
@@
function _mkws($) {
// if (console && console.log) console.log("run _mkws()");
// call this function only once
// if (console && console.log) console.log("run _mkws()");
// call this function only once
- if (mkws.init) return;
+ if (mkws.init) {
+ alert("_mkws() called twice: how did that happen?!");
+ return;
+ }
mkws.sort = 'relevance';
mkws.authenticated = false;
mkws.sort = 'relevance';
mkws.authenticated = false;
@@
-45,7
+48,8
@@
mkws.locale_lang = {
"Date": "Datum",
"Subject": "Schlagwort",
"Location": "Ort",
"Date": "Datum",
"Subject": "Schlagwort",
"Location": "Ort",
- // ### to add: Records, Targets
+ "Records": "Datensätze",
+ "Targets": "Datenbanken",
"dummy": "dummy"
},
"dummy": "dummy"
},
@@
-70,7
+74,8
@@
mkws.locale_lang = {
"Date": "Dato",
"Subject": "Emneord",
"Location": "Lokation",
"Date": "Dato",
"Subject": "Emneord",
"Location": "Lokation",
- // ### to add: Records, Targets
+ "Records": "Poster",
+ "Targets": "Baser",
"dummy": "dummy"
}
"dummy": "dummy"
}
@@
-1223,7
+1228,7
@@
function _mkws_jquery_plugin ($) {
// make sure that jquery-ui was loaded afte jQuery core lib, e.g.:
// <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.min.js"></script>
if (!$.ui) {
// make sure that jquery-ui was loaded afte jQuery core lib, e.g.:
// <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.min.js"></script>
if (!$.ui) {
- debug("Error: jquery-ui.js is missing, did you included it after jquery core in the HTML file?");
+ debug("Error: jquery-ui.js is missing, did you include it after jQuery core in the HTML file?");
return;
}
return;
}