-----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----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev