/** 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();
 }