Lines Matching refs:options
10 options.style.color = isDeactivated ? 'graytext' : 'black';
12 options.frequency.disabled = isDeactivated; // The control manipulability.
17 options.isActivated.checked = JSON.parse(localStorage.isActivated);
19 options.frequency.value = localStorage.frequency;
22 if (!options.isActivated.checked) { ghost(true); }
25 options.isActivated.onchange = function() {
26 localStorage.isActivated = options.isActivated.checked;
27 ghost(!options.isActivated.checked);
30 options.frequency.onchange = function() {
31 localStorage.frequency = options.frequency.value;