/** * 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); }
public void setHeaderBackgroundColor(Color color) { viewBarComponent.getViewBar().getViewBanner().setBannerColor(color); }
/** * 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); }
public void setPinned(boolean pinned) { this.pinned = pinned; // We could update the header here to reflect the fact that the // view is pinned. May be an icon? if (viewBarComponent != null) { viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); } }
public void setPinned(boolean pinned) { this.pinned = pinned; // We could update the header here to reflect the fact that the // view is pinned. May be an icon? if (viewBarComponent != null) { viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); } }
public void setPinned(boolean pinned) { this.pinned = pinned; // We could update the header here to reflect the fact that the // view is pinned. May be an icon? if (viewBarComponent != null) { viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); } }
/** * 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); }
public void setShowViewBanner(boolean b) { viewBarComponent.getViewBar().getViewBanner().setVisible(b); }
public void setShowViewBanner(boolean b) { viewBarComponent.getViewBar().getViewBanner().setVisible(b); }
public void setHeaderBackgroundColor(Color color) { viewBarComponent.getViewBar().getViewBanner().setBannerColor(color); }
public void setShowViewBanner(boolean b) { viewBarComponent.getViewBar().getViewBanner().setVisible(b); }
public void setHeaderBackgroundColor(Color color) { viewBarComponent.getViewBar().getViewBanner().setBannerColor(color); }
public void createUI() { initialisedContent = true; logger.debug("Creating UI for " + this.getViewName()); setLayout(new BorderLayout(3, 3)); viewComponentHolder = new JPanel(new BorderLayout()); viewBarComponent = new ViewBarComponent(getViewName(), plugin.getBackgroundColor(), viewComponentHolder); add(viewBarComponent); addViewManipulationActions(); createContent(); createViewToolBar(); viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); }
public void createUI() { initialisedContent = true; logger.debug("Creating the UI for the '{}' view", this.getViewName()); setLayout(new BorderLayout(0, 0)); viewComponentHolder = new JPanel(new BorderLayout()); viewBarComponent = new ViewBarComponent(getViewName(), plugin.getBackgroundColor(), viewComponentHolder); add(viewBarComponent); addViewManipulationActions(); createContent(); createViewToolBar(); viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); }
public void createUI() { initialisedContent = true; logger.debug("Creating UI for " + this.getViewName()); setLayout(new BorderLayout(3, 3)); viewComponentHolder = new JPanel(new BorderLayout()); viewBarComponent = new ViewBarComponent(getViewName(), plugin.getBackgroundColor(), viewComponentHolder); add(viewBarComponent); addViewManipulationActions(); createContent(); createViewToolBar(); viewBarComponent.getViewBar().getViewBanner().setPinned(pinned); }
private void addViewManipulationActions() { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Split vertically", Icons.getIcon( SPLIT_VERTICALLY_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Split horizontally", Icons.getIcon( SPLIT_HORIZONTALLY_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Float", Icons.getIcon(FLOAT_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Close", Icons.getIcon(CLOSE_ICON_NAME)) {
private void addViewManipulationActions() { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Split vertically", Icons.getIcon( SPLIT_VERTICALLY_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Split horizontally", Icons.getIcon( SPLIT_HORIZONTALLY_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Float", Icons.getIcon(FLOAT_ICON_NAME)) { viewBarComponent.getViewBar().getViewBanner().addAction(new AbstractAction("Close", Icons.getIcon(CLOSE_ICON_NAME)) {
private void addViewManipulationActions() { // View manipulation toolbar ViewBanner viewBanner = viewBarComponent.getViewBar().getViewBanner(); plugin.getHelpLink().ifPresent(u -> viewBanner.addAction("Help", HelpIcon.get(), this::showHelpIfPresent)); viewBanner.addAction("Split vertically", SplitVerticallyIcon.get(), this::splitVertically); viewBanner.addAction("Split horizontally", SplitHorizontallyIcon.get(), this::splitHorizontally); viewBanner.addAction("Float", FloatIcon.get(), this::copyAndFloatView); viewBanner.addAction("Close", CloseIcon.get(), this::closeView); }
.getInstance() .getProperty(ProtegeProperties.ONTOLOGY_COLOR_KEY), Color.GRAY), panel); vbc.getViewBar().getViewBanner().setText(catalogFile.getAbsolutePath()); setLayout(new BorderLayout()); add(vbc);