Added simple pretty-print option to the drop-down list on the JSON editor