<div class="gmail_quote">On Tue, May 24, 2011 at 10:02, Marijn <span dir="ltr">&lt;<a href="mailto:hkBst@gentoo.org">hkBst@gentoo.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
Hi,<br>
<br>
with version 5.1.1 of drracket running on linux,<br>
mouse-select/middle-mouse-paste isn&#39;t working.<br></blockquote><div><br></div><div><br></div><div>I can confirm that.</div><div>v5.1.1 compiled from source, Ubuntu 10.10.</div><div><br></div><div><br></div><div> </div>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Unrelatedly I noticed that in the Edit menu all three options concerning<br>
Replace are greyed out.<br></blockquote><div><br></div><div><br></div><div>Indeed, but I wonder it&#39;s like this by design?</div><div>If you click &quot;find&quot; and then &quot;show replace&quot; on the menu, then &quot;replace&quot; is available.</div>

<div></div></div><br><div><br></div><div>[]&#39;s</div><div><br></div><div>Rodolfo Carvalho</div>