Function make_toggle

web/scripts/viewer.js:132–146

(name, setting)

	}

	var make_toggle = function(name, setting) {
		html += '<div class="setting" style="grid-template-columns: 1fr 0px 50px;">';
		html += '<span class="setting_label">' + name + '</span>';
		html += '<label class="switch">';
		html += '<input type="checkbox" id="' + setting + '" class="setting_input"' + (settings[setting] ? 'checked' : '') + '>';
		html += '<span class="slider round"></span>';
		html += '</label></div>';
		append_html();

		$('input#' + setting).change(function (e) {
			settings[setting] = $('input#' + setting).prop('checked');
			save_settings();
			render();
		});
	}

	
	make_slider('Top K', 'top_k', 1, dets.length);