<div dir="ltr">Well I switched to dedicated &quot;open in a new tab&quot; which I do like more overall than 1-1 source file to window.  Nothing to compare against but its PDQ for me.  Just counted, have 14 tabs open currently.<div>
<div><br></div><div style>One drawback with tabs is the loss of side-by-side source, where it is easy in Linux/Unity to left-right align two windows with 1-1 source file &lt;-&gt; window.  One nice thing to have would be able to split the Racket window vertically where all the tabs take up half the vertical window split on the left.   When you are this vertical split mode, right-clicking tab shows the tab on the right-side in lieu of raising it to the forefront of all the other tabs on the left or something like that.</div>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jan 8, 2013 at 4:01 PM, Neil Toronto <span dir="ltr">&lt;<a href="mailto:neil.toronto@gmail.com" target="_blank">neil.toronto@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 01/06/2013 08:03 PM, Robby Findler wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As you (hopefully) noticed, I&#39;ve spent a bunch of time this release<br>
cycle trying to improve drracket&#39;s interactivity and I&#39;m at the point<br>
now where I could use a little help testing. So, if you have any time to<br>
play with the latest from git (or a nightly build after tonight) and<br>
notice that certain things you do make drracket more sluggish, can you<br>
please let me know?<br>
</blockquote>
<br></div>
I haven&#39;t noticed extra sluggishness, but I have noticed that switching tabs is faster. Since I do that a lot, you have my thanks. :)<br>
<br>
Neil ⊥<br>
<br>
_________________________<br>
 Racket Developers list:<br>
 <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/<u></u>dev</a><br>
</blockquote></div><br></div>