diff --git a/src/vs/base/browser/dom.ts b/src/vs/base/browser/dom.ts index b74f87d67a3..ccce65e591c 100644 --- a/src/vs/base/browser/dom.ts +++ b/src/vs/base/browser/dom.ts @@ -836,53 +836,53 @@ export function isHTMLElement(o: any): o is HTMLElement { export const EventType = { // Mouse - CLICK: 'click' as 'click', - DBLCLICK: 'dblclick' as 'dblclick', - MOUSE_UP: 'mouseup' as 'mouseup', - MOUSE_DOWN: 'mousedown' as 'mousedown', - MOUSE_OVER: 'mouseover' as 'mouseover', - MOUSE_MOVE: 'mousemove' as 'mousemove', - MOUSE_OUT: 'mouseout' as 'mouseout', - MOUSE_ENTER: 'mouseenter' as 'mouseenter', - MOUSE_LEAVE: 'mouseleave' as 'mouseleave', - CONTEXT_MENU: 'contextmenu' as 'contextmenu', - WHEEL: 'wheel' as 'wheel', + CLICK: 'click', + DBLCLICK: 'dblclick', + MOUSE_UP: 'mouseup', + MOUSE_DOWN: 'mousedown', + MOUSE_OVER: 'mouseover', + MOUSE_MOVE: 'mousemove', + MOUSE_OUT: 'mouseout', + MOUSE_ENTER: 'mouseenter', + MOUSE_LEAVE: 'mouseleave', + CONTEXT_MENU: 'contextmenu', + WHEEL: 'wheel', // Keyboard - KEY_DOWN: 'keydown' as 'keydown', - KEY_PRESS: 'keypress' as 'keypress', - KEY_UP: 'keyup' as 'keyup', + KEY_DOWN: 'keydown', + KEY_PRESS: 'keypress', + KEY_UP: 'keyup', // HTML Document - LOAD: 'load' as 'load', - UNLOAD: 'unload' as 'unload', - ABORT: 'abort' as 'abort', - ERROR: 'error' as 'error', - RESIZE: 'resize' as 'resize', - SCROLL: 'scroll' as 'scroll', + LOAD: 'load', + UNLOAD: 'unload', + ABORT: 'abort', + ERROR: 'error', + RESIZE: 'resize', + SCROLL: 'scroll', // Form - SELECT: 'select' as 'select', - CHANGE: 'change' as 'change', - SUBMIT: 'submit' as 'submit', - RESET: 'reset' as 'reset', - FOCUS: 'focus' as 'focus', - FOCUS_IN: 'focusin' as 'focusin', - FOCUS_OUT: 'focusout' as 'focusout', - BLUR: 'blur' as 'blur', - INPUT: 'input' as 'input', + SELECT: 'select', + CHANGE: 'change', + SUBMIT: 'submit', + RESET: 'reset', + FOCUS: 'focus', + FOCUS_IN: 'focusin', + FOCUS_OUT: 'focusout', + BLUR: 'blur', + INPUT: 'input', // Local Storage - STORAGE: 'storage' as 'storage', + STORAGE: 'storage', // Drag - DRAG_START: 'dragstart' as 'dragstart', - DRAG: 'drag' as 'drag', - DRAG_ENTER: 'dragenter' as 'dragenter', - DRAG_LEAVE: 'dragleave' as 'dragleave', - DRAG_OVER: 'dragover' as 'dragover', - DROP: 'drop' as 'drop', - DRAG_END: 'dragend' as 'dragend', + DRAG_START: 'dragstart', + DRAG: 'drag', + DRAG_ENTER: 'dragenter', + DRAG_LEAVE: 'dragleave', + DRAG_OVER: 'dragover', + DROP: 'drop', + DRAG_END: 'dragend', // Animation ANIMATION_START: browser.isWebKit ? 'webkitAnimationStart' : 'animationstart', ANIMATION_END: browser.isWebKit ? 'webkitAnimationEnd' : 'animationend', ANIMATION_ITERATION: browser.isWebKit ? 'webkitAnimationIteration' : 'animationiteration' -}; +} as const; export interface EventLike { preventDefault(): void;