[racket-dev] drracket on linux, no middle-mouse-paste, no Replace

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue May 24 15:23:34 EDT 2011

At Tue, 24 May 2011 10:41:41 -0300, Rodolfo Carvalho wrote:
> On Tue, May 24, 2011 at 10:02, Marijn <hkBst at 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.



Posted on the dev mailing list.