marijnh/CodeMirror — pull request #1772 by ciaranj (2013-08-22 13:29:57+00:00)
Title: [merge addon] Allows disabling of the 'copy buttons'

Whilst a useful feature, for my usage I would *like* to be able to hide them :)

I've followed the same pattern that you laid out in the changes to my original 'ShowDifferences' patch,
hopefully this is ok.

Signed-off-by: ciaranj