# HG changeset patch # User Mike Pavone # Date 1366043672 25200 # Node ID f2b4355093017830b834a482a96bb6ec11e4d3fe # Parent c0bfff39abe38aa098759dd9bacbba70278750a7 Work around desugaring of && and || in editor. diff -r c0bfff39abe3 -r f2b435509301 editor.js --- 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); };