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

-----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.

Unrelatedly I noticed that in the Edit menu all three options concerning
Replace are greyed out.

Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk3brFUACgkQp/VmCx0OL2wDKgCffgGF9SJxsG954PN6emJ4/owM
jUgAn1r1DNkteVsfYLO8dU1eGfU6+dSA
=DyN0
-----END PGP SIGNATURE-----