Add bookmark browsing mode to menu (#3248)

This commit is contained in:
Robert
2017-09-23 18:25:22 +02:00
committed by Frans de Jonge
parent 2c1e7f2a4f
commit bdf02f14aa
2 changed files with 16 additions and 0 deletions

View File

@@ -11,6 +11,7 @@ local order = {
navi = {
"table_of_contents",
"bookmarks",
"bookmark_browsing_mode",
"----------------------------",
"go_to",
"skim_to",