The ‘typeahead’ widget