jquery/jquery-ui — pull request #866 by jzaefferer (2012-12-18 14:30:18+00:00)
Title: Selectmenu

New PR for selectmenu, since #492 got too long.

See also http://wiki.jqueryui.com/w/page/12138056/Selectmenu