Microsoft/monaco-editor
Vedi su GitHub[Bug] monaco.languages.Command.id should be typed as optional
Open
#3468 aperta il 18 dic 2022
editor-corefeature-requesthelp wanted
Metriche repository
- Star
- (14.836 star)
- Metriche merge PR
- (Merge medio 6h 26m) (15 PR mergiate in 30 g)
Descrizione
Reproducible in vscode.dev or in VS Code Desktop?
- Not reproducible in vscode.dev or VS Code Desktop
Reproducible in the monaco editor playground?
- Not reproducible in the monaco editor playground
Monaco Editor Playground Code
// https://microsoft.github.io/monaco-editor/playground.html#extending-language-services-codelens-provider-example
Reproduction Steps
Experiment with removing id: commandId, and notice the label is no longer clickable
Actual (Problematic) Behavior
Whether or not an id is present in the code lens command controls whether or not the label is clickable or not. Typing indicate that id is required, however: https://microsoft.github.io/monaco-editor/api/interfaces/monaco.languages.Command.html.
Expected Behavior
monaco.languages.Command.id should be id?: string or id: string | undefined.
Additional Context
This came up on CompilerExplorer (https://godbolt.org) when we converted a js file to ts.