From 7021580b2cb149796c0f618c029fc3b226ee852d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Goetz?= <onigoetz@onigoetz.ch>
Date: Wed, 17 May 2017 23:15:44 +0200
Subject: [PATCH] Make it possible to not have a `jump_buttons` option set

Fixes #458
---
 templates/content.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/templates/content.php b/templates/content.php
index f98dfe7..b7ec4ec 100644
--- a/templates/content.php
+++ b/templates/content.php
@@ -22,7 +22,10 @@
         <?= $page['content']; ?>
     </div>
 
-    <?php if ($params['html']['jump_buttons'] && (!empty($page['prev']) || !empty($page['next']))) {
+    <?php
+    $buttons = (!empty($page['prev']) || !empty($page['next']));
+    $has_option = array_key_exists('jump_buttons', $params['html']);
+    if ($buttons && (($has_option && $params['html']['jump_buttons']) || !$has_option)) {
     ?>
     <nav>
         <ul class="Pager">