options.js

DGSOptions.restore()

function save() {
	DGSOptions.options.frequency = Number(document.getElementById('check_frequency').value)
	DGSOptions.options.hardcoreMode = document.getElementById('hardcore_mode').checked 
	DGSOptions.save()
	DGSOptions.init()
	startChecking()

	window.close()
}

document.addEventListener('DOMContentLoaded', function() {
	document.querySelector('#save_options').addEventListener('click', save);

	var freqSelector = document.getElementById('check_frequency')
	var options = freqSelector.options

	for (var i = 0; i < options.length; i++) {
		if (options[i].value == DGSOptions.options.frequency) {
			freqSelector.selectedIndex = i;
		}
	} 

	document.getElementById('hardcore_mode').checked = DGSOptions.options.hardcoreMode
});