Ejemplo n.º 1
0
 /** 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();
   }
 }