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

View.isPinned介绍

[英]Determines whether the view is "pinned". If a view is pinned then it should not synchronise its parent tab's underlying selection model that would normally alter the selection. This is typically used for view cloning (splitting), where a view is split to compare two different objects - it would not make sense for the cloned view to synchronise its selection with the original view.
[中]确定视图是否“固定”。如果视图被锁定，则不应同步其父选项卡的基础选择模型，该模型通常会改变选择。这通常用于视图克隆（拆分），即拆分视图以比较两个不同的对象——克隆视图将其选择与原始视图同步是没有意义的。

代码示例

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

protected boolean isPinned() {
  if (view != null) {
    return view.isPinned();
  }
  return false;
}

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

protected boolean isPinned() {
  if (view != null) {
    return view.isPinned();
  }
  return false;
}

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

protected boolean isPinned() {
  if (view != null) {
    return view.isPinned();
  }
  return false;
}

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

protected void transmitSelection() {
  deletableChangeListenerMediator.fireStateChanged(this);
  E selEntity = getSelectedEntity();
  if (selEntity != null) {
    final View view = getView();
    if (view != null && !view.isPinned()){
      view.setPinned(true); // so that we don't follow the selection
      setGlobalSelection(selEntity);
      view.setPinned(false);
    }
    else{
      setGlobalSelection(selEntity);
    }
  }
  updateHeader(selEntity);
}

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

protected void transmitSelection() {
  deletableChangeListenerMediator.fireStateChanged(this);
  E selEntity = getSelectedEntity();
  if (selEntity != null) {
    final View view = getView();
    if (view != null && !view.isPinned()){
      view.setPinned(true); // so that we don't follow the selection
      setGlobalSelection(selEntity);
      view.setPinned(false);
    }
    else{
      setGlobalSelection(selEntity);
    }
  }
  updateHeader(selEntity);
}

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

protected void transmitSelection() {
  deletableChangeListenerMediator.fireStateChanged(this);
  E selEntity = getSelectedEntity();
  if (selEntity != null) {
    final View view = getView();
    if (view != null && !view.isPinned()){
      view.setPinned(true); // so that we don't follow the selection
      setGlobalSelection(selEntity);
      view.setPinned(false);
    }
    else{
      setGlobalSelection(selEntity);
    }
  }
  else {
    setGlobalSelection(null);
  }
  updateHeader(selEntity);
}

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

protected void transmitSelection() {
  deletableChangeListenerMediator.fireStateChanged(this);
  E selEntity = getSelectedEntity();
  if (selEntity != null) {
    final View view = getView();
    if (view != null && !view.isPinned()) {
      view.setPinned(true); // so that we don't follow the selection
      setGlobalSelection(selEntity);
      view.setPinned(false);
    }
    else {
      setGlobalSelection(selEntity);
    }
  }
  else {
    setGlobalSelection(null);
  }
  updateHeader(selEntity);
  fireBreadcrumbTrailChanged();
}