update jsoneditor menu option (#8085)

Author: maximlt

panel/models/jsoneditor.ts

@@ -33,7 +33,7 @@ export class JSONEditorView extends HTMLBoxView {
       this.editor.options.templates = this.model.templates
     })
     this.on_change([menu], () => {
-      this.editor.options.menu = this.model.menu
+      this.editor.options.mainMenuBar = this.model.menu
     })
     this.on_change([search], () => {
       this.editor.options.search = this.model.search
@@ -64,7 +64,7 @@ export class JSONEditorView extends HTMLBoxView {
     super.render()
     const mode = this.model.disabled ? "view": this.model.mode
     this.editor = new (window as any).JSONEditor(this.shadow_el, {
-      menu: this.model.menu,
+      mainMenuBar: this.model.menu,
       mode,
       onChangeJSON: (json: any) => {
         this.model.data = json