From 764083e6beabfac9598c990ede327eee0514d974 Mon Sep 17 00:00:00 2001 From: David Lechner Date: Tue, 22 Nov 2022 13:51:28 -0600 Subject: [PATCH] monaco-extension: finish TODO code was merged upstream, so we no longer need the workaround --- src/monaco-extension.d.ts | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/monaco-extension.d.ts b/src/monaco-extension.d.ts index ab209b1f..e8520fd0 100644 --- a/src/monaco-extension.d.ts +++ b/src/monaco-extension.d.ts @@ -14,16 +14,6 @@ declare module 'react-monaco-editor' { // https://github.com/microsoft/vscode/blob/d54c705f6567958a732ac88b1c3ec4d2303fb026/src/vs/editor/common/model.ts#L1148 canRedo: () => boolean; } - - export interface ICodeEditor { - // null is allowed: - // https://github.com/microsoft/vscode/blob/b57db0fc49ee5777a4e02e8936f5b8cb9fb6182d/src/vs/editor/browser/widget/codeEditorWidget.ts#L995 - // TODO: can be removed when https://github.com/microsoft/vscode/pull/146866 is merged - /** - * Restores the view state of the editor from a serializable object generated by `saveViewState`. - */ - restoreViewState(state: ICodeEditorViewState | null): void; - } } } }