diff options
| author | Teddy Wing | 2020-07-04 18:00:45 +0200 |
|---|---|---|
| committer | Teddy Wing | 2020-07-04 18:14:31 +0200 |
| commit | 52e6473446d3fa3ab03586ce66d45cb99493c0a1 (patch) | |
| tree | b985878838a6925170e12abcd8390cd29890dd5b /settings.js | |
| parent | 95637c5ca6c803bec78687a55afcc2d3f2bf6ff4 (diff) | |
| download | fastcgi-conduit-gh-pages.tar.bz2 | |
Generate docs v0.1.0gh-pages
Diffstat (limited to 'settings.js')
| -rw-r--r-- | settings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/settings.js b/settings.js new file mode 100644 index 0000000..9930309 --- /dev/null +++ b/settings.js @@ -0,0 +1 @@ +(function(){function changeSetting(settingName,isEnabled){updateLocalStorage('rustdoc-'+settingName,isEnabled)}function getSettingValue(settingName){return getCurrentValue('rustdoc-'+settingName)}function setEvents(){var elems=document.getElementsByClassName("slider");if(!elems||elems.length===0){return}for(var i=0;i<elems.length;++i){var toggle=elems[i].previousElementSibling;var settingId=toggle.id;var settingValue=getSettingValue(settingId);if(settingValue!==null){toggle.checked=settingValue==="true"}toggle.onchange=function(){changeSetting(this.id,this.checked)}}}setEvents()})()
\ No newline at end of file |