src/vs/workbench/browser/parts/views/viewFilter.ts/FilterWidget/handleKeyboardEvent
class FilterWidget:	private handleKeyboardEvent(event: StandardKeyboardEvent) {
		if (event.equals(KeyCode.Space)
			|| event.equals(KeyCode.LeftArrow)
			|| event.equals(KeyCode.RightArrow)
		) {
			event.stopPropagation();
		}
	}