jquery/jquery-ui — pull request #675 by geedew (2012-06-06 19:33:12+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.