commit da32e7a422ceab1a0ef94502e7723d2224770508
author Akron <nils@diewald-online.de> Tue Nov 16 17:28:57 2021 +0100
committer Akron <nils@diewald-online.de> Thu Jan 20 14:15:23 2022 +0100
tree 63d5070ec54cfd5e79afe0b719bd3d01bb5b93eb
parent df2c97a65588d8d71cda96d734844e92b3272251

Use statemanager for toggle states

Change-Id: Iafbdf69140b69ffabd5c26ffab3b2e055d2e3fe3

dev/js/src/init.js

diff --git a/dev/js/src/init.js b/dev/js/src/init.js
index 724cfb3..48fb112 100644
--- a/dev/js/src/init.js
+++ b/dev/js/src/init.js
@@ -25,6 +25,7 @@
   'vc/array',
   'lib/alertify',
   'session',
+  'state/manager',
   'selectMenu',
   'panel/result',
   'panel/query',
@@ -44,6 +45,7 @@
              vcArray,
              alertifyClass,
              sessionClass,
+             stateManagerClass,
              selectMenuClass,
              resultPanelClass,
              queryPanelClass,
@@ -471,6 +473,13 @@
       if (url !== undefined) {
         KorAP.API.getPluginList(url, function (json) {
           if (json && json.length > 0) {
+
+            // Add state manager
+            const input = d.getElementById("searchform").addE("input");
+            input.setAttribute("name","state");
+            KorAP.States = stateManagerClass.create(input);
+            
+            
             // Load Plugin Server first
             KorAP.Plugin = pluginClass.create();
 
@@ -480,7 +489,7 @@
             // Add pipe form
             KorAP.Pipe = pipeClass.create();
             d.getElementById("searchform").appendChild(KorAP.Pipe.element());
-            
+
             try {
               
               // Register all plugins