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

View.setPinned介绍

暂无

代码示例

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

public void actionPerformed(ActionEvent e) {
    view.setSyncronizing(cb.isSelected());
    view.setPinned(!cb.isSelected());
  }
});

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

public void actionPerformed(ActionEvent e) {
    view.setSyncronizing(cb.isSelected());
    view.setPinned(!cb.isSelected());
  }
});

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

public void visit(OWLAnnotationProperty owlAnnotationProperty) {
  View view = getOWLWorkspace().showResultsView("OWLAnnotationPropertyUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLObjectProperty property) {
    View view = getOWLWorkspace().showResultsView("OWLObjectPropertyUsageView",
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    view.setPinned(true);
  }
});

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

public void visit(OWLNamedIndividual individual) {
  View view = getOWLWorkspace().showResultsView("OWLIndividualUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLClass cls) {
  View view = getOWLWorkspace().showResultsView("OWLClassUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLDataProperty property) {
  View view = getOWLWorkspace().showResultsView("OWLDataPropertyUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLNamedIndividual individual) {
  View view = getOWLWorkspace().showResultsView("OWLIndividualUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLDataProperty property) {
  View view = getOWLWorkspace().showResultsView("OWLDataPropertyUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLObjectProperty property) {
    View view = getOWLWorkspace().showResultsView("OWLObjectPropertyUsageView",
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    view.setPinned(true);
  }
});

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

public void visit(OWLClass cls) {
  View view = getOWLWorkspace().showResultsView("OWLClassUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

private void showResultsView(String viewId) {
    View view = getOWLWorkspace().showResultsView(viewId,
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    if (view != null) {
      view.setPinned(true);
    }
  }
});

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

private void showResultsView(String viewId) {
    View view = getOWLWorkspace().showResultsView(viewId,
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    if (view != null) {
      view.setPinned(true);
    }
  }
});

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

public void visit(OWLClass cls) {
  View view = getOWLWorkspace().showResultsView("OWLClassUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLAnnotationProperty owlAnnotationProperty) {
  View view = getOWLWorkspace().showResultsView("OWLAnnotationPropertyUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLObjectProperty property) {
    View view = getOWLWorkspace().showResultsView("OWLObjectPropertyUsageView",
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    view.setPinned(true);
  }
});

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

public void visit(OWLNamedIndividual individual) {
  View view = getOWLWorkspace().showResultsView("OWLIndividualUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

public void visit(OWLDataProperty property) {
  View view = getOWLWorkspace().showResultsView("OWLDataPropertyUsageView",
                         true,
                         OWLWorkspace.BOTTOM_RESULTS_VIEW);
  view.setPinned(true);
}

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

private void showResultsView(String viewId) {
    View view = getOWLWorkspace().showResultsView(viewId,
                           true,
                           OWLWorkspace.BOTTOM_RESULTS_VIEW);
    if (view != null) {
      view.setPinned(true);
    }
  }
});

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

public void setSelection(OWLNamedIndividual ind) {
  if (vc.getView() != null) {
    vc.getView().setPinned(false);
  }
  vc.setSelectedIndividual(ind);
}