IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

#5186 clean up JavaScript templates: doctools

Browse Source 
move templating from `doctools` to `documentation_options`
This commit is contained in:
Timotheus Kampik 2018-07-21 20:17:00 +02:00
parent a3189b460c
commit d2a15f4035
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sphinx/themes/basic/static/doctools.js_t → sphinx/themes/basic/static/doctools.js
View File

@ -150,9 +150,9 @@ var Documentation = {
this.fixFirefoxAnchorBug(); this.fixFirefoxAnchorBug();
this.highlightSearchWords(); this.highlightSearchWords();
this.initIndexTable(); this.initIndexTable();
{% if theme_navigation_with_keys|tobool %} if (DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) {
this.initOnKeyListeners(); this.initOnKeyListeners();
{% endif %} }
}, },
/** /**

3
sphinx/themes/basic/static/documentation_options.js_t
View File

@ -5,5 +5,6 @@ var DOCUMENTATION_OPTIONS = {
COLLAPSE_INDEX: false, COLLAPSE_INDEX: false,
FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}', FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}',
HAS_SOURCE: {{ has_source|lower }}, HAS_SOURCE: {{ has_source|lower }},
SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}' SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}',
NAVIGATION_WITH_KEYS: {{ 'true' if theme_navigation_with_keys|tobool else 'false'}}
}; };