upgrade to jQueryUI 1.9.2 to coincide with recent jQuery upgrade.

made Shortcuts menu dropdown a bit nicer.