Merge pull request #1982 from natankeddem/json_editor-destroy

ui.json_editor has no dispose method

nicegui/elements/json_editor.js

@@ -28,7 +28,7 @@ export default {
     },
     destroyEditor() {
       if (this.editor) {
-        this.editor.dispose();
+        this.editor.destroy();
       }
     },
   },