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