JSON Editor

Use example

JSON text mode
JSON format initialization
JSON typesetting indentation initialization
JSON object mode