At Tue, 24 May 2011 10:41:41 -0300, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn <hk...@gentoo.org> wrote: > > with version 5.1.1 of drracket running on linux, > > mouse-select/middle-mouse-paste isn't working. > > I can confirm that. > v5.1.1 compiled from source, Ubuntu 10.10.
Fix pushed to the git repo. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
