pybricks-code/src/monaco-extension.d.ts

// SPDX-License-Identifier: MIT
// Copyright (c) 2022 The Pybricks Authors

// exposes some monaco editor internal functions

import {} from 'react-monaco-editor';

declare module 'react-monaco-editor' {
    export namespace monaco {
        export namespace editor {
            export interface ITextModel {
                // https://github.com/microsoft/vscode/blob/d54c705f6567958a732ac88b1c3ec4d2303fb026/src/vs/editor/common/model.ts#L1135
                canUndo: () => boolean;
                // https://github.com/microsoft/vscode/blob/d54c705f6567958a732ac88b1c3ec4d2303fb026/src/vs/editor/common/model.ts#L1148
                canRedo: () => boolean;
            }
        }
    }
}