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

On Tue, May 24, 2011 at 10:02, Marijn <hkBst at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110524/e9cabcae/attachment.html>