public void hideViewBar() { viewBarComponent.getViewBar().setVisible(false); }
public void hideViewBar() { viewBarComponent.getViewBar().setVisible(false); }
public void setShowViewBar(boolean b) { viewBarComponent.getViewBar().setVisible(b); }
public void setShowViewBar(boolean b) { viewBarComponent.getViewBar().setVisible(b); }
public void setShowViewBar(boolean b) { viewBarComponent.getViewBar().setVisible(b); }
/** * 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); } }
/** * 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); }
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 setHeaderBackgroundColor(Color color) { viewBarComponent.getViewBar().getViewBanner().setBannerColor(color); }
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 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); }
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() { // 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); }