jquery/jquery-mobile — pull request #7681 by gabrielschulhof (2014-09-18 07:48:14+00:00)
Title: Selectmenu: Filterable demo now filters/refreshes selectmenu widget

Fixes gh-7677

... and actually fixes a bug in the existing selectmenu-custom-filter demo whereby the filter input does not return to the popup if the menu is ever shown as a dialog.