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

Workspace介绍

[英]Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Mar 15, 2006

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

A Workspace is a UI component that presents a view on an EditorKit.
[中]作者：马修·霍里奇
曼彻斯特大学
医学信息学组
日期：2006年3月15日
马太福音。horridge@cs.man.ac.uk
www.cs。成年男子ac.uk/~horredgm
Workspace是一个UI组件，它在EditorKit上显示视图。

代码示例

代码示例来源：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: protegeproject/protege

public EditorKit getEditorKit() {
  return workspace.getEditorKit();
}

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

private void createUI() {
  JPanel contentPane = new JPanel(new BorderLayout(0, 0));
  setContentPane(contentPane);
  // Menu bar
  createMenuBar();
  // Add the workspace to the frame
  contentPane.add(workspace);
  workspace.initialiseExtraMenuItems(getJMenuBar());
  String title = workspace.getTitle();
  if (title != null) {
    setTitle(title);
  }
  setIconImage(((ImageIcon) Icons.getIcon("logo32.gif")).getImage());
  Optional<JComponent> statusArea = workspace.getStatusArea();
  statusArea.ifPresent(sa -> contentPane.add(sa, BorderLayout.SOUTH));
}

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

protected void initialiseExtraMenuItems(JMenuBar menuBar) {
  for (int i = 0; i < menuBar.getMenuCount(); i++) {
    JMenu menu = menuBar.getMenu(i);
    if (menu != null) {
      String menuText = menu.getText();
      if (WINDOW_MENU_NAME.equals(menuText)) {
        installLookAndFeelMenu(menu);
      }
      else if (FILE_MENU_NAME.equals(menuText)) {
        installFileMenu(menu);
      }
      else if (HELP_MENU_NAME.equals(menuText)) {
        installHelpMenu(menu);
      }
    }
  }
}

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

public void windowActivated(WindowEvent event) {
    if (OSUtils.isOSX()){
      ProtegeAppleApplication.getInstance().setEditorKit(WorkspaceFrame.this.workspace.getEditorKit());
    }
    workspace.handleActivated();
  }
});

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

public void actionPerformed(ActionEvent event) {
  try {
    getWorkspace().save();
  }
  catch (Exception e) {
    LoggerFactory.getLogger(SaveAllTabsAction.class)
        .error("An error occurred when saving the state of the workspace: {}", e);
  }
}

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

private boolean canNavigate(String type){
  ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId());
  return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type));
}

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

/**
   * Disposes of the tabbed workspace.  This removes any tabs in the workspace and disposes of them.
   */
  @Override
  public void dispose() {
    save();
    // Remove the tabs and call their dispose method
    for (WorkspaceTab tab : workspaceTabs) {
      try {
        tab.dispose();
      }
      catch (Exception e) {
        LOGGER.warn("BAD TAB: " + tab.getClass().getSimpleName() + " - Exception during dispose: " + e.getMessage());
      }
    }
    workspaceTabs.clear();
    tabbedPane.removeAll();
    super.dispose();
  }
}

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

public void updateTitle() {
  String title = workspace.getTitle();
  if (title != null) {
    setTitle(title);
  }
}

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

String menuText = menu.getText();
if (WINDOW_MENU_NAME.equals(menuText)) {
  installLookAndFeelMenu(menu);

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

public void save() {
  try {
    super.save();
    // Save out tabs
    TabbedWorkspaceStateManager man = new TabbedWorkspaceStateManager(this);
    man.save();
    for (WorkspaceTab tab : getWorkspaceTabs()){
      tab.save();
      logger.info("Saved tab state for '{}' tab", tab.getLabel());
    }
    logger.info("Saved workspace");
  }
  catch (Exception e) {
    logger.error("An error occurred whilst saving the workspace", e);
  }
}

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

private boolean canNavigate(String type){
  ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId());
  return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type));
}

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

/**
   * Disposes of the tabbed workspace.  This removes any tabs in the workspace and disposes of them.
   */
  @Override
  public void dispose() {
    save();
    // Remove the tabs and call their dispose method
    for (WorkspaceTab tab : workspaceTabs) {
      try {
        tab.dispose();
      }
      catch (Exception e) {
        LOGGER.warn("BAD TAB: " + tab.getClass().getSimpleName() + " - Exception during dispose: " + e.getMessage());
      }
    }
    workspaceTabs.clear();
    tabbedPane.removeAll();
    super.dispose();
  }
}

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

public void updateTitle() {
  String title = workspace.getTitle();
  if (title != null) {
    setTitle(title);
  }
}

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

JMenu menu = menuBar.getMenu(i);
if (menu.getText().equals(WINDOW_MENU_NAME)) {
  installLookAndFeelMenu(menu);

代码示例来源：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);
}

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

private void createUI() {
  JPanel contentPane = new JPanel(new BorderLayout(7, 7));
  setContentPane(contentPane);
  // Menu bar
  createMenuBar();
  // Add the workspace to the frame
  contentPane.add(workspace);
  workspace.initialiseExtraMenuItems(getJMenuBar());
  String title = workspace.getTitle();
  if (title != null) {
    setTitle(title);
  }
  setIconImage(((ImageIcon) Icons.getIcon("logo32.gif")).getImage());
  JComponent statusArea = workspace.getStatusArea();
  if (statusArea != null) {
    contentPane.add(statusArea, BorderLayout.SOUTH);
  }
}

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

public EditorKit getEditorKit() {
  return workspace.getEditorKit();
}

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

public void actionPerformed(ActionEvent event) {
  try {
    getWorkspace().save();
  }
  catch (Exception e) {
    ProtegeApplication.getErrorLog().logError(e);
  }
}

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

private boolean canNavigate(String type){
  ViewComponentPlugin plugin = getWorkspace().getViewManager().getViewComponentPlugin(getView().getId());
  return plugin != null && plugin.getNavigates().contains(ProtegeProperties.getInstance().getProperty(type));
}