From b14f9d7482f250ac86da9934647845912f38db5c Mon Sep 17 00:00:00 2001 From: Matthias Geier Date: Wed, 8 Apr 2020 22:32:54 +0200 Subject: [PATCH] Add globaltoc_collapse and globaltoc_includehidden options --- sphinx/themes/basic/globaltoc.html | 2 +- sphinx/themes/basic/theme.conf | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/sphinx/themes/basic/globaltoc.html b/sphinx/themes/basic/globaltoc.html index 59cab989b..2f16655cf 100644 --- a/sphinx/themes/basic/globaltoc.html +++ b/sphinx/themes/basic/globaltoc.html @@ -8,4 +8,4 @@ :license: BSD, see LICENSE for details. #}

{{ _('Table of Contents') }}

-{{ toctree() }} +{{ toctree(includehidden=theme_globaltoc_includehidden, collapse=theme_globaltoc_collapse) }} diff --git a/sphinx/themes/basic/theme.conf b/sphinx/themes/basic/theme.conf index df02a5aec..3c289d5dc 100644 --- a/sphinx/themes/basic/theme.conf +++ b/sphinx/themes/basic/theme.conf @@ -10,3 +10,5 @@ sidebarwidth = 230 body_min_width = 450 body_max_width = 800 navigation_with_keys = False +globaltoc_collapse = true +globaltoc_includehidden = false