After manually deleting entries or editing values for select fields the editor value was not updated. Consequently editor.getValue() returned the old value.
This commit should fix both issues by calling this.change(). A similar fix was successfully applied for the json-editor library, see more details here: https://github.com/jdorn/json-editor/pull/752. But it addressed only the issue with editing select field values.
After manually deleting entries or editing values for select fields the editor value was not updated. Consequently editor.getValue() returned the old value.
This commit should fix both issues by calling
this.change()
. A similar fix was successfully applied for the json-editor library, see more details here: https://github.com/jdorn/json-editor/pull/752. But it addressed only the issue with editing select field values.