[vscode] Extend TextEditorLineNumbersStyle with Interval #13447
Description
An additional style 'Interval' was added to the enum TextEditorLineNumbersStyle VS Code API 1.87.0. This should be also added to Theia.
{{ message }}
An additional style 'Interval' was added to the enum TextEditorLineNumbersStyle VS Code API 1.87.0. This should be also added to Theia.