ok thanks<br><br><div class="gmail_quote">On Wed, Jan 20, 2010 at 22:45, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I&#39;m sorry to say that there isn&#39;t any way to resize it at the moment.<br>
<br>
Consider using the profile library instead; its a better profiler.<br>
<br>
<a href="http://docs.plt-scheme.org/profile/" target="_blank">http://docs.plt-scheme.org/profile/</a><br>
<br>
Robby<br>
<div><div></div><div class="h5"><br>
On Wed, Jan 20, 2010 at 12:00 PM, Laurent &lt;<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>&gt; wrote:<br>
&gt; Hi,<br>
&gt;<br>
&gt; The profiler window is very small at the bottom of my screen.<br>
&gt; Is there a way to resize the profiler window (I can&#39;t grab any corner nor<br>
&gt; any side with the mouse), or even to detach it?<br>
&gt;<br>
&gt; Thanks,<br>
&gt; Laurent<br>
&gt;<br>
</div></div>&gt; _________________________________________________<br>
&gt;  For list-related administrative tasks:<br>
&gt;  <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
&gt;<br>
&gt;<br>
</blockquote></div><br>