Open
Description
So, I'm looking to get select2() type search box functionality with jQueryUI's selectmenu(). I'm guessing that I could hack something together, but it would be nice if the search option was available in the stock selectmenu().
I did not see any open or closed tickets related to this. Is this a topic that was previously tracked in the old bug tracker and never migrated? Has anyone given any though or time into implementing such a thing?