Copy JSON after it has rendered about renderjson

[caldwell]

Yeah, it would be nice to be able to select it and get the plain JSON text when you copy. But it's not set up to do that. It would be nice if there were a browser "copy" event we could tap into to adjust the text, but there doesn't appear to be (though I might have missed something). Another idea might be to render all the extra disclosure symbols using css content, because I think that doesn't get copied. But that would cause an API change (since the disclosure symbols would have to move into CSS instead of being stuck as inline text nodes).

I'll keep thinking about it…

[laurentlb]

I've modified the code to insert an image instead of the special characters, it's much nicer in my opinion.

(I don't know what would be the right API for it)