[news.eclipse.tools] Re: What's the best way to notify an editor of pref

[jamsden@xxxxxxxxxx]

That's what I did. My override of performOk() fires a property change 
event which my editor is listening for. Works great and the platform gives 
the flexibility to handle preferences any way you want. When you write 
that article on contributing preferences, Randy, you should be sure to 
include this pattern (hint, hint) :-).