public void setTabActionsAutoHide(final boolean autoHide) { if (myActionPanel == null || myActionPanel.isAutoHide() == autoHide) { return; } myActionPanel.setAutoHide(autoHide); }
@Override public Dimension getPreferredSize() { final Dimension size = super.getPreferredSize(); if (myActionPanel != null && !myActionPanel.isVisible()) { final Dimension actionPanelSize = myActionPanel.getPreferredSize(); size.width += actionPanelSize.width; } final JBTabsPosition pos = myTabs.getTabsPosition(); switch (pos) { case top: case bottom: size.height += myTabs.isEditorTabs() ? TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT : getSelectedOffset(); break; case left: case right: size.width += getSelectedOffset(); break; } return size; }
private void invalidateIfNeeded() { if (myLabel.getRootPane() == null) return; Dimension d = myLabel.getSize(); Dimension pref = myLabel.getPreferredSize(); if (d != null && d.equals(pref)) { return; } setInactiveStateImage(null); myLabel.invalidate(); if (myActionPanel != null) { myActionPanel.invalidate(); } myTabs.revalidateAndRepaint(false); }
public void setActionPanelVisible(boolean visible) { if (myActionPanel != null) { myActionPanel.setVisible(visible); } }
public void toggleShowActions(boolean show) { if (myActionPanel != null) { myActionPanel.toggleShowActions(show); } }
public boolean updateTabActions() { return myActionPanel != null && myActionPanel.update(); }
private void removeOldActionPanel() { if (myActionPanel != null) { myActionPanel.getParent().remove(myActionPanel); myActionPanel = null; } }