From 52e6473446d3fa3ab03586ce66d45cb99493c0a1 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 4 Jul 2020 18:00:45 +0200
Subject: Generate docs v0.1.0

---
 settings.js | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 settings.js

(limited to 'settings.js')

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
-- 
cgit v1.2.3