diff editor.js @ 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 9cf3e0b18ecc
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);
 };