reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(mngr.getOWLReasonerManager().getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(new ActionListener() {
reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(mngr.getOWLReasonerManager().getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(new ActionListener() {
public void initialise() { super.initialise(); ProtegeApplication.getLogManager().addErrorLogListener(errorLogListener); createActiveOntologyPanel(); owlComponentFactory = new OWLComponentFactoryImpl(getOWLEditorKit()); final OWLModelManager mngr = getOWLModelManager(); mngr.addListener(owlModelManagerListener); mngr.addOntologyChangeListener(listener); OWLReasonerManager reasonerManager = mngr.getOWLReasonerManager(); reasonerManager.setReasonerProgressMonitor(new ReasonerProgressUI(getOWLEditorKit())); reasonerManager.setReasonerExceptionHandler(new UIReasonerExceptionHandler(this)); reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(reasonerManager.getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(e -> { ReasonerPreferences prefs = reasonerManager.getReasonerPreferences(); prefs.setShowInferences(displayReasonerResults.isSelected()); }); reasonerStatus.setFont(Fonts.getSmallDialogFont()); displayReasonerResults.putClientProperty("JComponent.sizeVariant", "small"); displayReasonerResults.setFont(Fonts.getSmallDialogFont()); new OntologySourcesChangedHandlerUI(this); }
public void initialise() { super.initialise(); ProtegeApplication.getLogManager().addErrorLogListener(logStatusLabel); breadcrumbTrailProviderManager.start(); breadcrumbTrailPresenter = new BreadcrumbTrailPresenter(this, new BreadcrumbTrailViewImpl(this)); breadcrumbTrailPresenter.start(); createActiveOntologyPanel(); owlComponentFactory = new OWLComponentFactoryImpl(getOWLEditorKit()); final OWLModelManager mngr = getOWLModelManager(); mngr.addListener(owlModelManagerListener); mngr.addOntologyChangeListener(listener); OWLReasonerManager reasonerManager = mngr.getOWLReasonerManager(); reasonerManager.setReasonerProgressMonitor(new ReasonerProgressUI(getOWLEditorKit())); reasonerManager.setReasonerExceptionHandler(new UIReasonerExceptionHandler(this)); reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(reasonerManager.getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(e -> { ReasonerPreferences prefs = reasonerManager.getReasonerPreferences(); prefs.setShowInferences(displayReasonerResults.isSelected()); }); reasonerStatus.setFont(Fonts.getSmallDialogFont()); displayReasonerResults.putClientProperty("JComponent.sizeVariant", "small"); displayReasonerResults.setFont(Fonts.getSmallDialogFont()); repoStatusPresenter = new GitRepoStatusPresenter(mngr, gitStatusView); repoStatusPresenter.start(); new OntologySourcesChangedHandlerUI(this); }