本文整理了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
暂无
代码示例来源: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;
}
});
}
内容来源于网络,如有侵权,请联系作者删除!