/** * Sets the text on the view header. This can be used to * override the label that is specified in the plugin.xml * file. * @param text The header text. */ public void setHeaderText(String text) { viewBarComponent.getViewBar().getViewBanner().setText(text); }
/** * Sets the text on the view header. This can be used to * override the label that is specified in the plugin.xml * file. * @param text The header text. */ public void setHeaderText(String text) { viewBarComponent.getViewBar().getViewBanner().setText(text); }
/** * Sets the text on the view header. This can be used to * override the label that is specified in the plugin.xml * file. * @param text The header text. */ public void setHeaderText(String text) { viewBarComponent.getViewBar().getViewBanner().setText(text); }
label.setForeground(foregroundColor); label.setFont(label.getFont().deriveFont(14f)); setText(""); toolBar.setBorderPainted(false); toolBar.setFloatable(false);
label.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3)); label.setForeground(foregroundColor); setText(""); toolBar = new JToolBar(); toolBar.setBorderPainted(false);
label.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3)); label.setForeground(foregroundColor); setText(""); toolBar = new JToolBar(); toolBar.setBorderPainted(false);
.getInstance() .getProperty(ProtegeProperties.ONTOLOGY_COLOR_KEY), Color.GRAY), panel); vbc.getViewBar().getViewBanner().setText(catalogFile.getAbsolutePath()); setLayout(new BorderLayout()); add(vbc);