Minor changes for code publication and persistant method to VC
diff --git a/dev/js/src/init.js b/dev/js/src/init.js
index 7938a9e..da94a73 100644
--- a/dev/js/src/init.js
+++ b/dev/js/src/init.js
@@ -8,6 +8,7 @@
'lib/alertify',
'api',
'mailToChiffre',
+ 'lib/highlight/highlight.pack',
'util'
], function (matchClass,
hintClass,
@@ -155,6 +156,15 @@
// Initialize documentation links
obj.tutorial.initDocLinks(document);
+ if (KorAP.currentQuery !== undefined) {
+ var sb = document.getElementById('searchbar');
+ var kq = document.createElement('div');
+ kq.setAttribute('id', 'koralquery');
+ sb.parentNode.insertBefore(kq, sb.nextSibling);
+ kq.innerHTML = JSON.stringify(KorAP.currentQuery, null, ' ');
+ hljs.highlightBlock(kq);
+ };
+
/**
* Init hint helper
* has to be final because of