diff --git a/js/disable-styles.js b/js/disable-styles.js new file mode 100644 index 00000000..aff6f034 --- /dev/null +++ b/js/disable-styles.js @@ -0,0 +1,35 @@ +/* This file is dedicated to the public domain; you may do as you wish with it. */ + +/* Adds a checkbox in the General options tab to disable and enable board style sheets. */ + +var disableStyleSheet = function () { + var disableStyles = localStorage['disablestylesheet'] ? true : false; + var i = 0 + while(i' + ' Disable board specific style sheets' + '') + $(element).find('input').prop('checked', disableStyles) + } + + $(element).on(event, function() { + if(disableStyles) { + delete localStorage.disablestylesheet; + } else { + localStorage.disablestylesheet = true; + } + disableStyles =! disableStyles; + document.styleSheets[sheet].disabled = disableStyles; + }) +} +$(document).ready(disableStyleSheet());