From 62cf79095c4d02ff1c737e02f91f8dcea2175b9e Mon Sep 17 00:00:00 2001
From: Dimitri van Heesch <dimitri@stack.nl>
Date: Sat, 11 Jan 2014 15:18:58 +0100
Subject: [PATCH] added option to have numbers in the bookmark pane (PDF
 output)

---
 src/latexgen.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/latexgen.cpp b/src/latexgen.cpp
index c68cbed0463..6db6148a799 100644
--- a/src/latexgen.cpp
+++ b/src/latexgen.cpp
@@ -464,7 +464,11 @@ static void writeDefaultHeaderPart1(FTextStream &t)
   {
     // To avoid duplicate page anchors due to reuse of same numbers for
     // the index (be it as roman numbers)
-    t << "\\hypersetup{pageanchor=false}\n";
+    t << "\\hypersetup{pageanchor=false,\n"
+      << "             bookmarks=true,\n"
+      << "             bookmarksnumbered=true,\n"
+      << "             pdfencoding=unicode\n"
+      << "            }\n";
   }
   t << "\\pagenumbering{roman}\n"
        "\\begin{titlepage}\n"