-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 05/24/11 15:41, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn <hk...@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----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
