diff options
| author | Rapptz <[email protected]> | 2020-05-31 09:12:26 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2020-12-18 21:18:52 -0500 |
| commit | 33a4388e6e63f9b6d269d3ec204419f1706ceb26 (patch) | |
| tree | 3f571772ab59be5d6a28bd96723e58c9bf814a7d /docs/_static/custom.js | |
| parent | Create settings icon for mobile (diff) | |
| download | discord.py-33a4388e6e63f9b6d269d3ec204419f1706ceb26.tar.xz discord.py-33a4388e6e63f9b6d269d3ec204419f1706ceb26.zip | |
First pass at double header display
Diffstat (limited to 'docs/_static/custom.js')
| -rw-r--r-- | docs/_static/custom.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/_static/custom.js b/docs/_static/custom.js index 94de08a0..9b3ed5bc 100644 --- a/docs/_static/custom.js +++ b/docs/_static/custom.js @@ -21,6 +21,10 @@ function openModal(modal) { modal.hidden = false; } +function changeDocumentation(element) { + window.location = element.value; +} + function updateSetting(element) { localStorage.setItem(element.name, element.checked); if (element.name in settings) { |