Dmitry Timoshkov dmitry@codeweavers.com writes:
While playing with the button painting bug I noticed that the button doesn't repaint its focus when you hold mouse button and move it outside and then back to the button.
It looks to me that you should fix the push button paint routine, instead of changing the notification type.