JSON Editor 0.7.12

Changelog

• Fix bug with object properties named type
• Add setOption method for changing options dynamically (currently only supports the show_errors option)

// Show all errors
editor.setOption('show_errors','always');

// Hide all errors
editor.setOption('show_errors','never');