changeset 114:f2b435509301

Work around desugaring of && and || in editor.
author Mike Pavone <pavone@retrodev.com>
date Mon, 15 Apr 2013 09:34:32 -0700
parents c0bfff39abe3
children a83989115028
files editor.js
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/editor.js	Sun Apr 14 23:09:46 2013 -0700
+++ b/editor.js	Mon Apr 15 09:34:32 2013 -0700
@@ -65,7 +65,11 @@
 		textContent: this.op,
 		className: 'opname'
 	}));
-	this.right.toHTML(base, this);
+	if (this.op == '&&' || this.op == '||') {
+		this.right.expressions[0].toHTML(base, this);
+	} else {
+		this.right.toHTML(base, this);
+	}
 	node.appendChild(base);
 };