jquery/jquery-ui — pull request #1023 by fnagel (2013-07-01 21:21:26+00:00)
Title: Selectmenu

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

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