diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2021-10-09 01:06:38 +0400 |
|---|---|---|
| committer | Marc-André Lureau <marcandre.lureau@redhat.com> | 2021-11-08 12:27:23 +0400 |
| commit | 96871b38547211d8d91e7d059a3322e67b53657c (patch) | |
| tree | c3ee197a08374ec18b637bc343ba5e52888872eb | |
| parent | ed9e6d65edaeeefd33eaa873ab983d170bd8b3c9 (diff) | |
docs/sphinx: set navigation_with_keys=True
Allow navigating to the previous/next page using the keyboard's left and
right arrows. I wish this would be the default, and that the themes
would provide more key navigation, but that doesn't seem on the roadmap.
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Reviewed-by: John Snow <jsnow@redhat.com>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
| -rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index edc2bf8fcb..f536483bc3 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -166,6 +166,7 @@ html_theme = 'sphinx_rtd_theme' if LooseVersion(sphinx_rtd_theme.__version__) >= LooseVersion("0.4.3"): html_theme_options = { "style_nav_header_background": "#802400", + "navigation_with_keys": True, } html_logo = os.path.join(qemu_docdir, "../ui/icons/qemu_128x128.png") |