diff --git a/website/src/website/pages/playground/PlaygroundPageContent.tsx b/website/src/website/pages/playground/PlaygroundPageContent.tsx index 7355192b..cdd953cf 100644 --- a/website/src/website/pages/playground/PlaygroundPageContent.tsx +++ b/website/src/website/pages/playground/PlaygroundPageContent.tsx @@ -448,12 +448,16 @@ class Editor extends React.Component<{ () => { const value = this.props.value.get(); if (!this.ignoreChange) { - this.model.pushEditOperations(null, [ - { - range: this.model.getFullModelRange(), - text: value, - } - ], () => null); + this.model.pushEditOperations( + null, + [ + { + range: this.model.getFullModelRange(), + text: value, + }, + ], + () => null + ); } }, { name: "update text" } @@ -463,6 +467,7 @@ class Editor extends React.Component<{ componentWillUnmount() { this.disposables.forEach((d) => d.dispose()); + this.model.dispose(); } }