jquery/jquery-ui — pull request #674 by geedew (2012-06-06 19:28:25+00:00)
Title: Selectmenu: Multiple="multiple" handling of select elements

When a select element is created using multiple=multiple, the UI makes some tweaks to allow for the use of CTRL/META key to select multiple items in a single menu.