In jQuery UI 1.7.1, there was a function $.fn.disableSelection() that would toggle all the right browser-specific CSS and attributes so that text selection would be disabled. I would recommend that the author use it during the instantiation of these buttons...

Not with the style -webkit-user-select:none; or equivalent.