Fixes broken website.

This commit is contained in:
Henning Dieterichs 2023-04-07 20:44:13 +02:00
parent 8983c59033
commit 2b2cfac8fa
No known key found for this signature in database
GPG key ID: 771381EFFDB9EC06

View file

@ -148,17 +148,6 @@ export class PlaygroundModel {
constructor() {
let lastState = this.state;
this.dispose.track(
monaco.editor.addEditorAction({
id: "reload",
label: "Reload",
run: (editor, ...args) => {
this.reload();
},
keybindings: [monaco.KeyMod.CtrlCmd | monaco.KeyCode.Enter],
})
);
this.dispose.track({
dispose: reaction(
() => ({ state: this.state }),
@ -195,6 +184,17 @@ export class PlaygroundModel {
let disposable: Disposable | undefined = undefined;
waitForLoadedMonaco().then((m) => {
this.dispose.track(
monaco.editor.addEditorAction({
id: "reload",
label: "Reload",
run: (editor, ...args) => {
this.reload();
},
keybindings: [monaco.KeyMod.CtrlCmd | monaco.KeyCode.Enter],
})
);
const options =
monaco.languages.typescript.javascriptDefaults.getCompilerOptions();
monaco.languages.typescript.javascriptDefaults.setDiagnosticsOptions(