diff core.js @ 1055:6bd41ef8b1e0

Slider now enabled optionally based on tag <option name='playhead'/> in interfaces
author Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
date Wed, 01 Jul 2015 13:49:01 +0100
parents 329dfa208333
children 99cb3436759e
line wrap: on
line diff
--- a/core.js	Wed Jul 01 11:55:08 2015 +0100
+++ b/core.js	Wed Jul 01 13:49:01 2015 +0100
@@ -1288,7 +1288,11 @@
 		this.commonInterface = new function() {
 			this.OptionNode = function(child) {
 				this.type = child.nodeName;
-				if (this.type == 'check') {
+				if (this.type == 'option')
+				{
+					this.name = child.getAttribute('name');
+				}
+				else if (this.type == 'check') {
 					this.check = child.getAttribute('name');
 					if (this.check == 'scalerange') {
 						this.min = child.getAttribute('min');