mirror of
https://github.com/pybricks/pybricks-code.git
synced 2026-09-12 17:45:22 +00:00
monaco-extension: finish TODO
code was merged upstream, so we no longer need the workaround
This commit is contained in:
committed by
David Lechner
parent
004667b80b
commit
764083e6be
Vendored
-10
@@ -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;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user