ok thanks<br><br><div class="gmail_quote">On Wed, Jan 20, 2010 at 22:45, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></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'm sorry to say that there isn'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 <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br> > Hi,<br> ><br> > The profiler window is very small at the bottom of my screen.<br> > Is there a way to resize the profiler window (I can't grab any corner nor<br> > any side with the mouse), or even to detach it?<br> ><br> > Thanks,<br> > Laurent<br> ><br> </div></div>> _________________________________________________<br> > For list-related administrative tasks:<br> > <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br> ><br> ><br> </blockquote></div><br>