src/vs/base/browser/keyboardEvent.ts/StandardKeyboardEvent/stopPropagation
class StandardKeyboardEvent:	public stopPropagation(): void {
		if (this.browserEvent && this.browserEvent.stopPropagation) {
			this.browserEvent.stopPropagation();
		}
	}