Eew! ;) On Thu, Dec 20, 2018 at 3:41 PM Mickael Istria <mist...@redhat.com> wrote:
> 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
_______________________________________________ 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
