From 9f1d48256413408c6b4e41a362158eabf2d29df0 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Thu, 10 Oct 2019 14:15:43 +0200
Subject: [PATCH] GUI: add previous/next document buttons to the preview window

---
 src/qtgui/preview.ui    | 52 +++++++++++++++++++++++++++++++++++++++--
 src/qtgui/preview_w.cpp |  2 ++
 2 files changed, 52 insertions(+), 2 deletions(-)

diff --git a/src/qtgui/preview.ui b/src/qtgui/preview.ui
index c0de6991..3e8c77f8 100644
--- a/src/qtgui/preview.ui
+++ b/src/qtgui/preview.ui
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>611</width>
-    <height>300</height>
+    <width>777</width>
+    <height>432</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -102,6 +102,54 @@
        </property>
       </widget>
      </item>
+     <item>
+      <widget class="QPushButton" name="prevInTabPB">
+       <property name="text">
+        <string/>
+       </property>
+       <property name="toolTip">
+         <string>Previous result document</string>
+       </property>
+       <property name="icon">
+        <iconset>
+         <normaloff>:/images/prevpage.png</normaloff>images/prevpage.png</iconset>
+       </property>
+      </widget>
+     </item>
+     <item>
+      <widget class="QPushButton" name="nextInTabPB">
+       <property name="text">
+        <string/>
+       </property>
+       <property name="toolTip">
+         <string>Next result document</string>
+       </property>
+       <property name="icon">
+        <iconset>
+         <normaloff>:/images/nextpage.png</normaloff>images/nextpage.png</iconset>
+       </property>
+      </widget>
+     </item>
+     <item>
+      <widget class="Line" name="line_2">
+       <property name="orientation">
+        <enum>Qt::Vertical</enum>
+       </property>
+      </widget>
+     </item>
+     <item>
+      <spacer name="horizontalSpacer_2">
+       <property name="orientation">
+        <enum>Qt::Horizontal</enum>
+       </property>
+       <property name="sizeHint" stdset="0">
+        <size>
+         <width>40</width>
+         <height>20</height>
+        </size>
+       </property>
+      </spacer>
+     </item>
      <item>
       <widget class="QPushButton" name="editPB">
        <property name="text">
diff --git a/src/qtgui/preview_w.cpp b/src/qtgui/preview_w.cpp
index 7581a68f..4e493833 100644
--- a/src/qtgui/preview_w.cpp
+++ b/src/qtgui/preview_w.cpp
@@ -144,8 +144,10 @@ void Preview::init()
             this, SLOT (close()));
     connect(new QShortcut(nextDocInTabKS, this), SIGNAL (activated()), 
             this, SLOT (emitShowNext()));
+    connect(nextInTabPB, SIGNAL (clicked()), this, SLOT (emitShowNext()));
     connect(new QShortcut(prevDocInTabKS, this), SIGNAL (activated()), 
             this, SLOT (emitShowPrev()));
+    connect(prevInTabPB, SIGNAL (clicked()), this, SLOT (emitShowPrev()));
     connect(new QShortcut(closeTabKS, this), SIGNAL (activated()), 
             this, SLOT (closeCurrentTab()));
     connect(new QShortcut(printTabKS, this), SIGNAL (activated()),