On Monday, March 19, 2012, Laurent &lt;<a href="mailto:[email protected]">[email protected]</a>&gt; wrote:<br>&gt;<br>&gt;<br>&gt; On Mon, Mar 19, 2012 at 14:14, Neil Van Dyke &lt;<a href="mailto:[email protected]">[email protected]</a>&gt; wrote:<br>
&gt;&gt;<br>&gt;&gt; If you like to use tabs instead of windows in DrRacket 5.2.1, this is a very useful preference:<br>&gt;&gt;<br>&gt;&gt; &quot;Preferences -&gt; General -&gt; Open files in separate tabs (not separate windows)&quot;<br>
&gt;<br>&gt; It seems to me that this has been around long before 5.2.1, hasn&#39;t it?<br>As long as I can remember, and I&#39;ve been lurking here for a while now.<br><br>&gt;  <br>&gt;&gt;<br>&gt;&gt; Then you can open additional files in tabs by selecting from the pulldown filename widget on the left end of the toolbar.  In my experience, this is faster than going to &quot;File -&gt; Open...&quot;, since that file chooser defaults to the directory from which DrRacket started.<br>
&gt;<br>&gt; I think this should be the default behavior. Do some people prefer to use windows only?<br>+1<br>&gt;  <br>&gt;&gt;<br>&gt;&gt; (Perhaps &quot;File -&gt; Open...&quot; should be changed so that, *if there is an open file in the current tab*, the file chooser starts in the directory of that file, rather than in the current working directory of the process from which DrRacket was invoked?  But, *if there is no file*, then file chooser starts in the process cwd.)<br>
&gt;<br>&gt; +1<br><br>+1<br><br>&gt;<br>&gt; Laurent<br>&gt;<br>&gt;<br><br>-- <br><div> </div><div>--</div><div>Stephen De Gabrielle</div><div><a href="mailto:[email protected]" target="_blank">[email protected]</a></div>
<div>Telephone +44 (0)20 85670911</div><div>Mobile        +44 (0)79 85189045</div><div><a href="http://www.degabrielle.name/stephen" target="_blank">http://www.degabrielle.name/stephen</a></div><div>----</div><div>Professor: Oh God! I clicked without reading! </div>
<div>Cubert: And I slightly modified something I own! </div><div>Professor: We&#39;re monsters!</div><br>