extensions to jQuery UI