On Tue, May 24, 2011 at 10:02, Marijn <hk...@gentoo.org> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Hi, > > 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. > > Unrelatedly I noticed that in the Edit menu all three options concerning > Replace are greyed out. > Indeed, but I wonder it's like this by design? If you click "find" and then "show replace" on the menu, then "replace" is available. []'s Rodolfo Carvalho
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
