jquery/jquery-mobile — pull request #6322 by frequent (2013-08-09 21:38:16+00:00)
Title: Filterable: add support for selectmenu with optgroups

This allows filtering options inside optgroups. It does not hide optgroups when all included options are hidden.

Filing a ticket for this.