个人中心
gpt4 book ai didi

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

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

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

Workspace.getTitle介绍

暂无

代码示例

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

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

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

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

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

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

代码示例来源：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: 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: org.protege/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);
  }
}

25 4 0
文章推荐： org.weasis.core.api.gui.util.WinUtil.getParentWindow()方法的使用及代码示例
文章推荐： org.apache.poi.xssf.usermodel.XSSFHyperlink.getFirstRow()方法的使用及代码示例
文章推荐： org.springframework.web.context.support.WebApplicationObjectSupport.getServletContext()方法的使用及代码示例
文章推荐： org.protege.editor.core.ui.workspace.Workspace.changeFontSize()方法的使用及代码示例
知者
个人简介

我是一名优秀的程序员,十分优秀！

滴滴打车优惠券免费领取
滴滴打车优惠券
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com