commit 644ad9f48a56b6b9a14c95179fec7df345f30cac
author Akron <nils@diewald-online.de> Mon Jul 26 16:12:59 2021 +0200
committer Akron <nils@diewald-online.de> Thu Nov 04 15:18:07 2021 +0100
tree a6ab695153e0e9ebbe1137cad062b7d02572cea5
parent 2f7e5407574567084902168891e14ba86566bc5a

Introduce pagination panel (fixes #141)

Change-Id: Ib8522c4d154b96630abcd23c7115b2fb4633bdfb

dev/js/src/init.js

diff --git a/dev/js/src/init.js b/dev/js/src/init.js
index 54ffd98..724cfb3 100644
--- a/dev/js/src/init.js
+++ b/dev/js/src/init.js
@@ -28,6 +28,7 @@
   'selectMenu',
   'panel/result',
   'panel/query',
+  'panel/pagination',
   'tour/tours',
   'plugin/server',
   'pipe',
@@ -46,6 +47,7 @@
              selectMenuClass,
              resultPanelClass,
              queryPanelClass,
+             paginationPanelClass,
              tourClass,
              pluginClass,
              pipeClass) {
@@ -255,7 +257,7 @@
      * Add result panel
      */
     var resultPanel = resultPanelClass.create(show);
-
+   
     if (resultInfo != null) {
 
       // Move buttons to resultinfo
@@ -435,7 +437,18 @@
       // The views are below the query bar
       sform.insertBefore(queryPanel.element(), vcView);
       KorAP.Panel['query'] = queryPanel;
-    }
+    };
+
+
+    /**
+     * Add pagination panel
+     */
+    const paginationPanel = paginationPanelClass.create();
+
+    if (paginationPanel) {
+      paginationPanel.addRandomPage();
+      KorAP.Panel['pagination'] = paginationPanel;
+    };
 
 
     /**