Makes editor on main page writeable. (#3976)

This commit is contained in:
Henning Dieterichs 2023-05-26 18:24:54 +02:00 committed by GitHub
parent 584584e65b
commit 0c6348a71d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions

View file

@ -249,6 +249,7 @@ export class MonacoDiffEditor extends React.Component<
minimap: { enabled: false },
automaticLayout: false,
theme: this.props.theme,
originalEditable: true,
});
this.editor.setModel({
original: this.props.originalModel,

View file

@ -217,6 +217,7 @@ class EditorDemo extends React.Component {
value={this.currentSample.value || "loading..."}
language={this.currentLanguage?.id}
theme={this.currentTheme.id}
onDidValueChange={() => {}}
/>
</div>
</div>