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 On Tue, Feb 8, 2011 at 18:00, John Clements <cleme...@brinckerhoff.org>wrote: > > 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 > >> > >> http://pre.racket-lang.org/release/installers/ > > > > 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. > > Ditto for my students under 5.0.99.6. No idea about later versions. > > John > > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users >
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
