add edit page button

rmorshea · rmorshea · commit fc08c1dcaceb · 2020-10-09T15:01:17.000-07:00
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -103,6 +103,14 @@
 #
 html_theme_options = {
     "github_url": "https://github.com/<idom-team/idom",
+    "use_edit_page_button": True,
+}
+
+html_context = {
+    "github_user": "idom-team",
+    "github_repo": "idom",
+    "github_version": "main",
+    "doc_path": "docs",
 }
 
 # Add any paths that contain custom static files (such as style sheets) here,

Original file line number	Diff line number	Diff line change
`@@ -103,6 +103,14 @@`
`103`	`103`	`#`
`104`	`104`	`html_theme_options = {`
`105`	`105`	`"github_url": "https://github.com/<idom-team/idom",`
	`106`	`+ "use_edit_page_button": True,`
	`107`	`+}`
	`108`	`+`
	`109`	`+html_context = {`
	`110`	`+ "github_user": "idom-team",`
	`111`	`+ "github_repo": "idom",`
	`112`	`+ "github_version": "main",`
	`113`	`+ "doc_path": "docs",`
`106`	`114`	`}`
`107`	`115`
`108`	`116`	`# Add any paths that contain custom static files (such as style sheets) here,`