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); } }
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); }