add jump_buttons config to globals.json

2017-05-15 11:09:05 +02:00 · 2017-05-15 11:09:05 +02:00 · c9a88d7e1f
Parent 46a063f5b5
--- a/global.json
+++ b/global.json
@ -33,6 +33,7 @@
        "search": true,
        "auto_toc": false,
        "inherit_index": false,
+        "jump_buttons": true,

        "repo": "",
        "twitter": [],