@Override public void configure(SourceViewerConfiguration configuration) { super.configure(configuration); if (configuration instanceof MarkupSourceViewerConfiguration) { outlinePresenter = ((MarkupSourceViewerConfiguration) configuration).getOutlineInformationPresenter(this); outlinePresenter.install(this); } } }
@Override public void configure(SourceViewerConfiguration configuration) { super.configure(configuration); if (configuration instanceof JsonSourceViewerConfiguration) { JsonSourceViewerConfiguration c = (JsonSourceViewerConfiguration) configuration; outlinePresenter = c.getOutlinePresenter(this); if (outlinePresenter != null) { outlinePresenter.install(this); } } } };
@Override public void configure(SourceViewerConfiguration configuration) { // Ensure underlying text widget is defined if ((getTextWidget() == null) || getTextWidget().isDisposed()) { return; } // Configure default operations super.configure(configuration); // Configure quick outline operation for the source viewer only if the // given source viewer supports it if (fIsQuickOutlineEnabled && configuration instanceof ChangeAwareSourceViewerConfiguration) { ChangeAwareSourceViewerConfiguration sourceConfiguration = (ChangeAwareSourceViewerConfiguration) configuration; fOutlinePresenter = sourceConfiguration.getOutlinePresenter(this); if (fOutlinePresenter != null) { fOutlinePresenter.install(this); } } }
super.configure(configuration); if (configuration instanceof JavaSourceViewerConfiguration) { JavaSourceViewerConfiguration javaSVCconfiguration= (JavaSourceViewerConfiguration)configuration;
super.configure(configuration); if (configuration instanceof JavaSourceViewerConfiguration) { JavaSourceViewerConfiguration javaSVCconfiguration= (JavaSourceViewerConfiguration)configuration;
super.configure(configuration); if (configuration instanceof JavaSourceViewerConfiguration) { JavaSourceViewerConfiguration javaSVCconfiguration= (JavaSourceViewerConfiguration)configuration;