gpt4 book ai didi

org.protege.editor.core.ui.workspace.Workspace.adjustBorder()方法的使用及代码示例

转载 作者:知者 更新时间:2024-03-26 08:29:05 27 4
gpt4 key购买 nike

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

Workspace.adjustBorder介绍

暂无

代码示例

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

public Workspace() {
  setLayout(new BorderLayout());
  leftResultsSplitPane.setResizeWeight(0.2);
  add(leftResultsSplitPane);
  bottomResultsSplitPane.setResizeWeight(0.65);
  leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT);
  adjustBorder(bottomResultsViewHolder);
  adjustBorder(leftResultsViewHolder);
}

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

/**
 * This method is called by the system to
 * set up the <code>Workspace</code> (with references
 * to the <code>EditorKit</code> etc.)
 * @param editorKit The <code>EditorKit</code> that this
 *                  <code>Workspace</code> belongs to.
 */
public void setup(EditorKit editorKit) {
  this.editorKit = editorKit;
  this.viewManager = new WorkspaceViewManager();
  // Create the layout.
  setLayout(new BorderLayout());
  leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT);
  leftResultsSplitPane.setResizeWeight(0.2);
  add(leftResultsSplitPane);
  bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT);
  bottomResultsSplitPane.setResizeWeight(0.65);
  leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT);
  bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane);
  adjustBorder(bottomResultsViewHolder);
  leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane);
  adjustBorder(leftResultsViewHolder);
}

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

/**
 * This method is called by the system to
 * set up the <code>Workspace</code> (with references
 * to the <code>EditorKit</code> etc.)
 * @param editorKit The <code>EditorKit</code> that this
 * <code>Workspace</code> belongs to.
 */
public void setup(EditorKit editorKit) {
  this.editorKit = editorKit;
  this.viewManager = new WorkspaceViewManager();
  // Create the layout.
  setLayout(new BorderLayout());
  leftResultsSplitPane = new ViewSplitPane(JSplitPane.HORIZONTAL_SPLIT);
  leftResultsSplitPane.setResizeWeight(0.2);
  add(leftResultsSplitPane);
  bottomResultsSplitPane = new ViewSplitPane(JSplitPane.VERTICAL_SPLIT);
  bottomResultsSplitPane.setResizeWeight(0.65);
  leftResultsSplitPane.add(bottomResultsSplitPane, JSplitPane.RIGHT);
  bottomResultsViewHolder = new ViewHolder("Results", JSplitPane.BOTTOM, bottomResultsSplitPane);
  adjustBorder(bottomResultsViewHolder);
  leftResultsViewHolder = new ViewHolder("R", JSplitPane.LEFT, leftResultsSplitPane);
  adjustBorder(leftResultsViewHolder);
}

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com