I was hoping it could get in 1.8.0, although for us I guess we're maintaining our own maintenance branch anyway now so it doesn't matter too much. I'll just put the patch in a git fork after 1.8 and make it easier for you that way at least. :-)
p.s. Thanks for all the work making jquery ui awesome!