Manual JSON edit feature does not immediately affect dropdown fields

When using the JSON Edit button to manually change the JSON value for an object, fields in that object that are presented with a dropdown (e.g. boolean fields, enumerated fields) are not immediately updated after clicking the Save button.  In those cases, calling `editor.getValue()` yields the old value.  Pull request #752 fixes this issue.