gitbook-plugin-headings: Add base default options

2026-09-21 01:53:26 +00:00 · 2016-10-09 00:54:37 +02:00
parent cd0ed86589
commit 34baae1a5d
1 changed files with 9 additions and 0 deletions
@@ -25,5 +25,14 @@
  },
  "bugs": {
    "url": "https://github.com/GitbookIO/gitbook/issues"
+  },
+  "gitbook": {
+    "properties": {
+      "position": {
+        "type": "string",
+        "title": "Position of anchors",
+        "default": "left"
+      }
+    }
  }
 }