Hi Wim, Looking at the code of Control, I do not see any notification sent for a change. But you could hook a Paint listener on a specific widget that would keep track of the font and color used on last redraw and notify if the current ones are different.
HTH
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
