Hi, Is anyone aware of an API to detect font and color changes of a widget?
Cheers, Wim
_______________________________________________ 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
