My plugin contributes a couple of editors, on which I draw my data. Now I want to allow the user to change the font of these editors. For this purpose, I have extended org.eclipse.ui.Themes. This allows an entry in the Color and Font section of the Preferences.
Please help me as to how can I use this value for my editors. Probably I need to handle the event when 'Apply' button is pressed on the preferences.
Where can I find some example source for the same.