mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-19 06:21:26 +08:00
docs: enable searchbox
This commit is contained in:
1 parent
a79a1fbef5
commit
5bad06d4b6
1 file changed
+1
-1
+1
-1
@@ -145,7 +145,7 @@ html_sidebars = {
|
|||||||
#'relations.html',
|
#'relations.html',
|
||||||
'ghbuttons.html',
|
'ghbuttons.html',
|
||||||
#'sourcelink.html',
|
#'sourcelink.html',
|
||||||
#'searchbox.html'
|
'searchbox.html'
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user