jQuery UI widget that turn HTML select multiple into combo box.