<div class="gmail_quote">On Mon, Sep 13, 2010 at 6:44 PM, Fernando Perez <span dir="ltr">&lt;<a href="http://fperez.net">fperez.net</a>@<a href="http://gmail.com">gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div class="im">On Mon, Sep 13, 2010 at 2:22 PM, Gökhan Sever &lt;<a href="mailto:gokhansever@gmail.com">gokhansever@gmail.com</a>&gt; wrote:<br>
&gt;<br>
&gt; Either in Firefox or Chrome you could use extensions [Auto Copy] to copy<br>
&gt; text selections into clipboard.<br>
<br>
</div>Thanks, that&#39;s good to know.  But I&#39;m mostly thinking of teaching<br>
situations, so it would be nice to have this in the source: it&#39;s not<br>
for my use but for the benefit of students who may be in a lab where<br>
they can&#39;t install extensions.  But I don&#39;t know if that can even be<br>
done in html in the first place.<br>
<div><div></div><div class="h5"><br>
Cheers,<br>
<br>
f<br>
</div></div></blockquote><div><br>In github, there is something like this for copying the address of someone&#39;s git repo, but it might be done using Flash, I am not sure.<br><br>Ben Root<br></div></div>