# Was this event raised by the search key?
	fun is_search_key: Bool do return key_code == 84