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

From: Rodolfo Carvalho (rhcarvalho at gmail.com)
Date: Tue May 24 09:41:41 EDT 2011

On Tue, May 24, 2011 at 10:02, Marijn <hkBst at gentoo.org> wrote:

> 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


Rodolfo Carvalho
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110524/e9cabcae/attachment.html>

Posted on the dev mailing list.