# HG changeset patch
# User Nicholas Jillings <nickjillings@users.noreply.github.com>
# Date 1450882101 0
# Node ID 91dc3c79b7ff149d96a19b3953426ffdf885423c
# Parent  f1c5caf9bb04cb713ebb6fd3808f79a12c0fcef2
Version 1.1.0

diff -r f1c5caf9bb04 -r 91dc3c79b7ff core.js
--- a/core.js	Wed Dec 23 14:36:00 2015 +0000
+++ b/core.js	Wed Dec 23 14:48:21 2015 +0000
@@ -399,7 +399,7 @@
 			for (var i=0; i<node.options.length; i++) {
 				var option = node.options[i];
 				var input = document.createElement('input');
-				input.id = option.id;
+				input.id = option.name;
 				input.type = 'checkbox';
 				var span = document.createElement('span');
 				span.textContent = option.text;
@@ -1779,8 +1779,13 @@
 								this.statement = element.textContent;
 							} else if (element.nodeName == 'option') {
 								var node = new this.childOption();
-								node.id = element.id;
-								node.name = element.getAttribute('name');
+								if (element.getAttribute('id') != null)
+								{
+									console.log('Checkbox Option id is deprecated, use name instead');
+									node.name = element.getAttribute('id');
+								} else {
+									node.name = element.getAttribute('name');
+								}
 								node.text = element.textContent;
 								this.options.push(node);
 							}
@@ -1827,7 +1832,7 @@
 					{
 						var option = this.options[i];
 						var optionNode = root.createElement("option");
-						optionNode.id = option.id;
+						optionNode.setAttribute("name",option.name);
 						optionNode.textContent = option.text;
 						node.appendChild(optionNode);
 					}