/** Set the Visualiser Menu view */
public void setMenu(Menu menu) {
VisualiserPlugin.menu = menu;
// When the menu is known, tell it where to get its data from
// and activate the markup provider
VisualiserPlugin.menu.setVisMarkupProvider(ProviderManager.getMarkupProvider());
ProviderManager.getMarkupProvider().activate();
if (VisualiserPlugin.visualiser != null) {
VisualiserPlugin.refresh();
}
}
/** Set the Visualiser view */
public void setVisualiser(Visualiser visualiser) {
VisualiserPlugin.visualiser = visualiser;
// When the visualiser is known, tell it where to get its data from
// and activate the content provider
VisualiserPlugin.visualiser.setVisContentProvider(ProviderManager.getContentProvider());
VisualiserPlugin.visualiser.setVisMarkupProvider(ProviderManager.getMarkupProvider());
ProviderManager.getContentProvider().activate();
if (VisualiserPlugin.menu != null) {
VisualiserPlugin.refresh();
}
}
