/** 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();
}
}
/**
* Getter method for the provider manager
*
* @return the provider manager
*/
public static ProviderManager getProviderManager() {
return ProviderManager.getProviderManager();
}
/**
* This method is called upon plug-in activation - process any defined extensions and add the
* resource change listener.
*/
public void start(BundleContext context) throws Exception {
super.start(context);
ProviderManager.initialise();
VisualiserPreferences.initDefaults();
}