• Post Reply Bookmark Topic Watch Topic
  • New Topic

Event Handling  RSS feed

 
Rashi Bahal
Greenhorn
Posts: 3
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
Dear Reader

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.

Regards,
Rashi
 
  • Post Reply Bookmark Topic Watch Topic
  • New Topic
Boost this thread!