export const MarkerSeverity = { Warning: 4, Error: 8, Info: 2, Hint: 1, }; export const editor = { setModelMarkers: () => {}, }; export const languages = { CompletionItemKind: { Keyword: 14, Function: 9, Variable: 12, Property: 9, Field: 5, Value: 13, Operator: 11, Snippet: 27, }, CompletionItemInsertTextRule: { InsertAsSnippet: 1, }, }; export const KeyMod = { Shift: 1, CtrlCmd: 2, }; export const KeyCode = { Enter: 3, KeyF: 4, }; export const Selection = function () {}; export const Range = function () {}; export type IRange = { startLineNumber: number; startColumn: number; endLineNumber: number; endColumn: number };