Minor: implemented Button.check_highlight better.