How do I add a copy to clipboard button?

[GoogleCodeExporter]

What steps will reproduce the problem?

1. There is no copy to clipboard button.

(Please include HTML, not just your source code)

What is the expected output?  What do you see instead?

What version are you using?  On what browser?
All versions/all browsers

Please provide any additional information below.

Is there a way to add a button that when clicks selects the text and copies it 
to the clipboard. Other syntax highlighters have it. Does anyone know how?

Original issue reported on code.google.com by 1990aku...@gmail.com on 11 Aug 2012 at 4:49

[GoogleCodeExporter]

http://stackoverflow.com/questions/10307833/how-can-i-create-an-html-button-that
-copies-selected-text-to-the-clients-clipbo

Original comment by mikesamuel@gmail.com on 4 Feb 2013 at 11:47

• Changed state: Invalid