matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Strip discord.ext in genindex page and unbreak PEP links.

Browse Source
This commit is contained in:
Rapptz 2019-06-28 21:29:43 -04:00
parent acda808803
commit ab00bc0686
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/_templates/genindex.html vendored
View File

@ -9,6 +9,14 @@
// this is pretty finicky but it should work. // this is pretty finicky but it should work.
for(let el of elements) { for(let el of elements) {
let key = el.getAttribute('href').split('#', 2)[1] let key = el.getAttribute('href').split('#', 2)[1]
if(!key.startsWith('discord.')) {
continue;
}
if(key.startsWith('discord.ext.')) {
key = key.substr(12); // discord.ext.
}
if(el.textContent.endsWith('method)') || el.textContent.indexOf('()') !== -1) { if(el.textContent.endsWith('method)') || el.textContent.indexOf('()') !== -1) {
key = key + '()' key = key + '()'
} }