"repair JSON" button

[masciugo]

A very useful feature is the "repair JSON" button as it is in jsoneditoronline.org:

Is it an ACE feature that just need to be added to the toolbar? It would be great to have it

thank you

[tburch]

Oh, this would be very cool! I'll see what it would take to upgrade the UI library... it's quite a bit behind what jsoneditoronline has.