[webkit-reviews] review requested: [Bug 13304] REGRESSION(14784): WebKit doesn't dynamically reflect changes to the highlight color in System Preferences : [Attachment 14358] proposed fix

[bugzilla-daemon at webkit.org]

Alexey Proskuryakov <ap at webkit.org> has asked  for review:
Bug 13304: REGRESSION(14784): WebKit doesn't dynamically reflect changes to the
highlight color in System Preferences
http://bugs.webkit.org/show_bug.cgi?id=13304

Attachment 14358: proposed fix
http://bugs.webkit.org/attachment.cgi?id=14358&action=edit

------- Additional Comments from Alexey Proskuryakov <ap at webkit.org>
I didn't get any crashes on quit, but it looks safer to change theme() in this
way indeed.