For me it does that to when selecting text sometimes, though not as slow as what you mention. Maybe it's just that too many mouse events are sent, at too high a frequency? Because apart from that, the movement seems fluid, and not jerky. Just a thought, just in case... Laurent <div class="gmail_quote">On Tue, Feb 8, 2011 at 18:00, John Clements <<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>> wrote: <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="im"> On Feb 8, 2011, at 8:22 AM, Brian Mastenbrook wrote: > On 2/2/2011 2:50 PM, Eli Barzilay wrote: >> Version 5.0.99.900 is now available for testing from >> >> <a href="http://pre.racket-lang.org/release/installers/" target="_blank">http://pre.racket-lang.org/release/installers/</a> > > Has anyone tried resizing the splitter between the editor and REPL in the Linux/GTK version? It's hilariously slow for me on Ubuntu Lucid (10.04) 32-bit. If I drag it up and down rapidly and then release the mouse, it will still be trying to keep up 30s later. </div>Ditto for my students under 5.0.99.6. No idea about later versions. John _________________________________________________ For list-related administrative tasks: <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a> </blockquote></div>