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

From: Marijn (hkBst at gentoo.org)
Date: Tue May 24 10:42:08 EDT 2011

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 05/24/11 15:41, Rodolfo Carvalho wrote:
> On Tue, May 24, 2011 at 10:02, Marijn <hkBst at gentoo.org> wrote:
>> 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.
> 

Hmm, I guess that it's possible to be by design, but I find it a bit
clunky. Also I am missing regex search and replace tools!

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

iEYEARECAAYFAk3bw8AACgkQp/VmCx0OL2wQ/ACgg70vGB/au5j9feu1fIMAZUQL
GvwAn25E8AjaHv8LgCdz4Q+Ed+eUGvSd
=i5cj
-----END PGP SIGNATURE-----


Posted on the dev mailing list.