Browse Source

Make the generated index page more useful for Ctrl + F.

pull/2255/head
Rapptz 6 years ago
parent
commit
acda808803
  1. 18
      docs/_templates/genindex.html
  2. 2
      docs/index.rst

18
docs/_templates/genindex.html

@ -0,0 +1,18 @@
{%- extends "basic/genindex.html" %}
{% block body %}
{{ super() }}
<!-- Inject some JavaScript to convert the index names into something useful. -->
<script>
let elements = document.querySelectorAll("table.indextable a");
// this is pretty finicky but it should work.
for(let el of elements) {
let key = el.getAttribute('href').split('#', 2)[1]
if(el.textContent.endsWith('method)') || el.textContent.indexOf('()') !== -1) {
key = key + '()'
}
el.textContent = key;
}
</script>
{% endblock %}

2
docs/index.rst

@ -56,6 +56,4 @@ Additional Information
If you still can't find what you're looking for, try in one of the following pages:
* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`

Loading…
Cancel
Save