<div dir="ltr">I&#39;ve just pushed a fix for this, but when you say &quot;still&quot;, do you mean that you&#39;ve reported this before?<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Apr 2, 2013 at 5:23 PM, Danny Yoo <span dir="ltr">&lt;<a href="mailto:dyoo@hashcollision.org" target="_blank">dyoo@hashcollision.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
In the version of DrRacket in HEAD, when I press the two characters<br>
&quot;[&quot; &quot;]&quot; in sequence in the Definitions pane, I visually see that the<br>
paren fixing is happening on the &quot;]&quot; in a very distracting way: it<br>
visually switches between &quot;]&quot;, &quot;}&quot;, and finally &quot;)&quot;.<br>
<br>
I don&#39;t see this behavior on the Interactions pane.<br>
</blockquote></div><br></div>