From fe29b0d738aa9caaf0c9c755f3c12b9f27b77902 Mon Sep 17 00:00:00 2001 From: Andreas Huber Date: Sun, 8 Apr 2018 19:43:47 +0200 Subject: [PATCH] remove obsolete variables from model --- pdb-ui/src/main/resources/resources/js/ui.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/pdb-ui/src/main/resources/resources/js/ui.js b/pdb-ui/src/main/resources/resources/js/ui.js index ac51f18..b4739d0 100644 --- a/pdb-ui/src/main/resources/resources/js/ui.js +++ b/pdb-ui/src/main/resources/resources/js/ui.js @@ -646,11 +646,6 @@ var data = { query: '', values: [], index: 0 - }, - navigation: { - prevNext: { - show: false - } } }, resultView: {