org.protege.editor.core.ui.view.View.setSyncronizing()方法的使用及代码示例

x33g5p2x  于2022-02-01 转载在 其他  
字(6.8k)|赞(0)|评价(0)|浏览(150)

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

View.setSyncronizing介绍

暂无

代码示例

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

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

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

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

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

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

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

public void splitVertically(View bottomView) {
  bottomView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setLeftComponent(new ViewContainer(view));
  sp.setRightComponent(new ViewContainer(bottomView));
  sp.setDividerLocation(sp.getWidth() / 2);
}

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

public void splitVertically(View bottomView) {
  bottomView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setLeftComponent(new ViewContainer(view));
  sp.setRightComponent(new ViewContainer(bottomView));
  sp.setDividerLocation(sp.getWidth() / 2);
}

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

public void splitVertically(View bottomView) {
  bottomView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.HORIZONTAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setLeftComponent(new ViewContainer(view));
  sp.setRightComponent(new ViewContainer(bottomView));
  sp.setDividerLocation(sp.getWidth() / 2);
}

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

protected void createUI() {
  setLayout(new BorderLayout());
  ViewComponentPlugin plugin = getViewComponentPlugin();
  view = new View(plugin, editorKit.getWorkspace());
  view.setPinned(true);
  view.setSyncronizing(false);
  view.createUI();
  view.setShowViewBanner(false);
  add(view);
  setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY),
                         BorderFactory.createEmptyBorder(2, 2, 2, 2)));
  // only attach change listeners once the component is shown
  // (as those that use a view component are lazilly created)
  view.addHierarchyListener(new HierarchyListener(){
    public void hierarchyChanged(HierarchyEvent event) {
      if (!registeredListener){
        addSelectionListener(new ChangeListener(){
          public void stateChanged(ChangeEvent event) {
            boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty();
            for (InputVerificationStatusChangedListener l : validateListeners){
              l.verifiedStatusChanged(valid);
            }
            isValid = valid;
          }
        });
        registeredListener = true;
      }
    }
  });
}

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

protected void createUI() {
  setLayout(new BorderLayout());
  ViewComponentPlugin plugin = getViewComponentPlugin();
  view = new View(plugin, editorKit.getWorkspace());
  view.setPinned(true);
  view.setSyncronizing(false);
  view.createUI();
  view.setShowViewBanner(false);
  add(view);
  setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY),
                         BorderFactory.createEmptyBorder(2, 2, 2, 2)));
  // only attach change listeners once the component is shown
  // (as those that use a view component are lazilly created)
  view.addHierarchyListener(new HierarchyListener(){
    public void hierarchyChanged(HierarchyEvent event) {
      if (!registeredListener){
        addSelectionListener(new ChangeListener(){
          public void stateChanged(ChangeEvent event) {
            boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty();
            for (InputVerificationStatusChangedListener l : validateListeners){
              l.verifiedStatusChanged(valid);
            }
            isValid = valid;
          }
        });
        registeredListener = true;
      }
    }
  });
}

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

public void splitHorizontally(View rightView) {
  rightView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setTopComponent(new ViewContainer(view));
  sp.setBottomComponent(new ViewContainer(rightView));
  sp.setDividerLocation(sp.getHeight() / 2);
}

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

public void splitHorizontally(View rightView) {
  rightView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setTopComponent(new ViewContainer(view));
  sp.setBottomComponent(new ViewContainer(rightView));
  sp.setDividerLocation(sp.getHeight() / 2);
}

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

public void splitHorizontally(View rightView) {
  rightView.setSyncronizing(false);
  JSplitPane sp = createSplitPane(JSplitPane.VERTICAL_SPLIT);
  View view = (View) getComponent(0);
  remove(view);
  add(sp);
  validate();
  sp.setTopComponent(new ViewContainer(view));
  sp.setBottomComponent(new ViewContainer(rightView));
  sp.setDividerLocation(sp.getHeight() / 2);
}

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

protected void createUI() {
    setLayout(new BorderLayout());
    ViewComponentPlugin plugin = getViewComponentPlugin();
    view = new View(plugin, editorKit.getWorkspace());
    view.setPinned(true);
    view.setSyncronizing(false);
    view.createUI();
    view.setShowViewBanner(false);
    add(view);
//        setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY),
//                                                     BorderFactory.createEmptyBorder(2, 2, 2, 2)));

    // only attach change listeners once the component is shown
    // (as those that use a view component are lazilly created)
    view.addHierarchyListener(event -> {
      if (!registeredListener){
        addSelectionListener(e -> {
          boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty();
          for (InputVerificationStatusChangedListener l : validateListeners){
            l.verifiedStatusChanged(valid);
          }
          isValid = valid;
        });
        registeredListener = true;
      }
    });
  }

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

protected void createUI() {
    setLayout(new BorderLayout());
    ViewComponentPlugin plugin = getViewComponentPlugin();
    view = new View(plugin, editorKit.getWorkspace());
    view.setPinned(true);
    view.setSyncronizing(false);
    view.createUI();
    view.setShowViewBanner(false);
    add(view);
//        setBorder(BorderFactory.createCompoundBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY),
//                                                     BorderFactory.createEmptyBorder(2, 2, 2, 2)));

    // only attach change listeners once the component is shown
    // (as those that use a view component are lazilly created)
    view.addHierarchyListener(event -> {
      if (!registeredListener){
        addSelectionListener(e -> {
          boolean valid = getSelectedObjects() != null && !getSelectedObjects().isEmpty();
          for (InputVerificationStatusChangedListener l : validateListeners){
            l.verifiedStatusChanged(valid);
          }
          isValid = valid;
        });
        registeredListener = true;
      }
    });
  }

相关文章