本文整理了Java中org.protege.editor.core.ui.view.View.setHeaderText()方法的一些代码示例，展示了View.setHeaderText()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。View.setHeaderText()方法的具体详情如下：
包路径：org.protege.editor.core.ui.view.View
类名称：View
方法名：setHeaderText

View.setHeaderText介绍

[英]Sets the text on the view header. This can be used to override the label that is specified in the plugin.xml file.
[中]设置视图标题上的文本。这可以用来覆盖插件中指定的标签。xml文件。

代码示例

代码示例来源：origin: edu.stanford.protege/org.protege.editor.core.application

protected void setHeaderText(String text) {
  if (view != null) {
    view.setHeaderText(text);
  }
}

代码示例来源：origin: org.protege/protege-editor-core-application

protected void setHeaderText(String text) {
  if (view != null) {
    view.setHeaderText(text);
  }
}

代码示例来源：origin: protegeproject/protege

protected void setHeaderText(String text) {
  if (view != null) {
    view.setHeaderText(text);
  }
}

代码示例来源：origin: protegeproject/protege

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);
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.owl

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);
}

代码示例来源：origin: edu.stanford.protege/protege-editor-owl

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);
}

代码示例来源：origin: org.protege/protege-editor-owl

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);
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.owl

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

代码示例来源：origin: org.protege/protege-editor-owl

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

代码示例来源：origin: edu.stanford.protege/protege-editor-owl

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

代码示例来源：origin: protegeproject/protege

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

代码示例来源：origin: edu.stanford.protege/protege-editor-owl

private void updateHeader() {
  getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName());
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.owl

private void updateHeader() {
  getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName());
}

代码示例来源：origin: protegeproject/protege

private void updateHeader() {
  getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName());
}

代码示例来源：origin: org.protege/protege-editor-owl

private void updateHeader() {
  getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName());
}