[news.eclipse.tools] PropertyEditor.refresh()

[Kai Ruhl <kain@xxxxxxxxxxxxxxx>]

Hello *,

Does anybody now how to tell a built-in GUI component (in this case the
propery editor) how to refresh its display from its data model?

In this case, I have a tree wherein each node implements IPropertySource, thus
I can utilize the Eclipse property editor without having anything to do with
it -- even the registration (getAdapter()) happens automagically (I use a
Eclipse's WorkbenchAdapter).

Now when an underlying process changes the a node, I want the property editor
(or more precisely, the PropertySheetPage where the node is displayed) to
refresh -- but since I have not written a line of IPropertySheetPage code, I
have no angle to pull. What I need is something like:

Platform.getPlugin("org.eclipse.ui.views.PropertySheet").getUI().revalidate()

But whatever angle I try, I cannot find anything. I tried doku, google, source
code reading, but to no avail so far.

Anybody had the same problem and found the solution?

Best regards,

  Kai Ruhl

_____________________________________________________________________________
mailto:kain@xxxxxxxxxxxxxxx                        http://www.land-of-kain.de