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