protected void setHeaderText(String text) { if (view != null) { view.setHeaderText(text); } }
protected void setHeaderText(String text) { if (view != null) { view.setHeaderText(text); } }
protected void setHeaderText(String text) { if (view != null) { view.setHeaderText(text); } }
private void updateHeader(OWLAxiom axiom) { String title = ""; if (axiom != null){ title = getOWLModelManager().getRendering(axiom).replace('\n', ' '); if (title.length() > 53){ title = title.substring(0, 50) + "..."; } } getView().setHeaderText(title); }
private void updateHeader(OWLAxiom axiom) { String title = ""; if (axiom != null){ title = getOWLModelManager().getRendering(axiom).replace('\n', ' '); if (title.length() > 53){ title = title.substring(0, 50) + "..."; } } getView().setHeaderText(title); }
private void updateHeader(OWLAxiom axiom) { String title = ""; if (axiom != null){ title = getOWLModelManager().getRendering(axiom).replace('\n', ' '); if (title.length() > 53){ title = title.substring(0, 50) + "..."; } } getView().setHeaderText(title); }
private void updateHeader(OWLAxiom axiom) { String title = ""; if (axiom != null){ title = getOWLModelManager().getRendering(axiom).replace('\n', ' '); if (title.length() > 53){ title = title.substring(0, 50) + "..."; } } getView().setHeaderText(title); }
protected void updateHeader(OWLObject object) { // Set the label in the header to reflect the entity that the view // is displaying if (object != null) { updateRegisteredActions(); getView().setHeaderText(getOWLModelManager().getRendering(object)); } else { // Not displaying an entity, so disable all actions disableRegisteredActions(); getView().setHeaderText(""); } }
protected void updateHeader(OWLObject object) { // Set the label in the header to reflect the entity that the view // is displaying if (object != null) { updateRegisteredActions(); getView().setHeaderText(getOWLModelManager().getRendering(object)); } else { // Not displaying an entity, so disable all actions disableRegisteredActions(); getView().setHeaderText(""); } }
protected void updateHeader(OWLObject object) { // Set the label in the header to reflect the entity that the view // is displaying if (object != null) { updateRegisteredActions(); getView().setHeaderText(getOWLModelManager().getRendering(object)); } else { // Not displaying an entity, so disable all actions disableRegisteredActions(); getView().setHeaderText(""); } }
protected void updateHeader(OWLObject object) { // Set the label in the header to reflect the entity that the view // is displaying if (object != null) { updateRegisteredActions(); String rendering = getOWLModelManager().getRendering(object); String unescapedRendering = RenderingEscapeUtils.unescape(rendering); getView().setHeaderText(unescapedRendering); } else { // Not displaying an entity, so disable all actions disableRegisteredActions(); getView().setHeaderText(""); } }
private void updateHeader() { getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName()); }
private void updateHeader() { getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName()); }
private void updateHeader() { getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName()); }
private void updateHeader() { getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName()); }