From cd86609cb561725ed1b43e9783f8241489dcebd4 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Fri, 26 May 2023 17:59:50 +0200 Subject: [PATCH] Makes editor on main page writeable. --- website/src/website/components/monaco/MonacoEditor.tsx | 1 + website/src/website/pages/home/Home.tsx | 1 + 2 files changed, 2 insertions(+) diff --git a/website/src/website/components/monaco/MonacoEditor.tsx b/website/src/website/components/monaco/MonacoEditor.tsx index bd8d47af36..57e47761c4 100644 --- a/website/src/website/components/monaco/MonacoEditor.tsx +++ b/website/src/website/components/monaco/MonacoEditor.tsx @@ -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, diff --git a/website/src/website/pages/home/Home.tsx b/website/src/website/pages/home/Home.tsx index 9e77ebf3f8..1f3bde98df 100644 --- a/website/src/website/pages/home/Home.tsx +++ b/website/src/website/pages/home/Home.tsx @@ -217,6 +217,7 @@ class EditorDemo extends React.Component { value={this.currentSample.value || "loading..."} language={this.currentLanguage?.id} theme={this.currentTheme.id} + onDidValueChange={() => {}} />