A JSON property editor.