this.btnChecked = this.option.option.btn != undefined;
            },
            btnChecked(a, b) {
              if (this.btnChecked)
                this.$set(this.option.option, "btn", { codeText: "单击" });
              else this.$delete(this.option.option, "btn");
            },
          },
          methods: {
            onMounted(editor) {
              this.editor = editor;
            },
            onCodeChange(editor) {
              console.log(editor.getValue());
            },
          