Constant widgetry::widgets::autocomplete::NUM_SEARCH_RESULTS

const NUM_SEARCH_RESULTS: usize = 10;