// 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;
"Date": "Datum",
"Subject": "Schlagwort",
"Location": "Ort",
- // ### to add: Records, Targets
+ "Records": "Datensätze",
+ "Targets": "Datenbanken",
"dummy": "dummy"
},
"Date": "Dato",
"Subject": "Emneord",
"Location": "Lokation",
- // ### to add: Records, Targets
+ "Records": "Poster",
+ "Targets": "Baser",
"dummy": "dummy"
}
// 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;
}