<div class="gmail_quote">On Mon, Sep 13, 2010 at 6:44 PM, Fernando Perez <span dir="ltr"><<a href="http://fperez.net">fperez.net</a>@<a href="http://gmail.com">gmail.com</a>></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 <<a href="mailto:gokhansever@gmail.com">gokhansever@gmail.com</a>> wrote:<br>
><br>
> Either in Firefox or Chrome you could use extensions [Auto Copy] to copy<br>
> text selections into clipboard.<br>
<br>
</div>Thanks, that's good to know.  But I'm mostly thinking of teaching<br>
situations, so it would be nice to have this in the source: it's not<br>
for my use but for the benefit of students who may be in a lab where<br>
they can't install extensions.  But I don'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's git repo, but it might be done using Flash, I am not sure.<br><br>Ben Root<br></div></div>