Swing/ClippedTabLabel のバックアップの現在との差分(No.9)

JTabbedPaneのタイトルをクリップ

#screenshot

サンプルコード

#spanend
#spanadd
* サンプルコード [#sourcecode]
#spanend
#spanadd
#code(link){{
#spanend
class ClippedTitleTabbedPane extends JTabbedPane {
  private boolean first_flag = true;
  public ClippedTitleTabbedPane() {
    super();
    addComponentListener(new ComponentAdapter() {
      @Override public void componentResized(ComponentEvent e) {
        if(first_flag) {
          initTabWidth();
          first_flag = false;
        }
      }
    });
  }
#spanadd

#spanend
  public ClippedTitleTabbedPane(int tabPlacement) {
    super(tabPlacement);
  }
#spanadd

#spanend
  private Insets getTabInsets() {
    Insets i = UIManager.getInsets("TabbedPane.tabInsets");
    if(i!=null) {
    if (i != null) {
      return i;
    }else{
    } else {
      SynthStyle style = SynthLookAndFeel.getStyle(this, Region.TABBED_PANE_TAB);
      SynthContext context = new SynthContext(this, Region.TABBED_PANE_TAB,
                                              style, SynthConstants.ENABLED);
      SynthContext context = new SynthContext(
        this, Region.TABBED_PANE_TAB, style, SynthConstants.ENABLED);
      return style.getInsets(context, null);
    }
  }
#spanadd

#spanend
  private Insets getTabAreaInsets() {
    Insets i = UIManager.getInsets("TabbedPane.tabAreaInsets");
    if(i!=null) {
    if (i != null) {
      return i;
    }else{
    } else {
      SynthStyle style = SynthLookAndFeel.getStyle(this, Region.TABBED_PANE_TAB_AREA);
      SynthContext context = new SynthContext(this, Region.TABBED_PANE_TAB_AREA,
                                              style, SynthConstants.ENABLED);
      SynthContext context = new SynthContext(
        this, Region.TABBED_PANE_TAB_AREA, style, SynthConstants.ENABLED);
      return style.getInsets(context, null);
    }
  }
  private void initTabWidth() {
#spanadd

#spanend
  @Override public void doLayout() {
    int tabCount  = getTabCount();
    if(tabCount==0) return;
    if (tabCount == 0) return;
    Insets tabInsets   = getTabInsets();
    Insets tabAreaInsets = getTabAreaInsets();
    Insets insets = getInsets();
    int areaWidth = getWidth() - tabAreaInsets.left - tabAreaInsets.right
                               - insets.left - insets.right;
                    - insets.left        - insets.right;
    int tabWidth  = 0; // = tabInsets.left + tabInsets.right + 3;
    int gap     = 0;

    switch(getTabPlacement()) {
      case LEFT: case RIGHT:
    switch (getTabPlacement()) {
    case LEFT:
    case RIGHT:
      tabWidth = areaWidth / 4;
      gap = 0;
      break;
      case BOTTOM: case TOP: default:
    case BOTTOM:
    case TOP:
    default:
      tabWidth = areaWidth / tabCount;
      gap = areaWidth - (tabWidth * tabCount);
    }
    // "3" is magic number @see BasicTabbedPaneUI#calculateTabWidth
    tabWidth = tabWidth - tabInsets.left - tabInsets.right - 3;
    for(int i=0;i<tabCount;i++) {
      JLabel l = (JLabel)getTabComponentAt(i);
      if(l==null) break;
      l.setPreferredSize(new Dimension(tabWidth+(i<gap?1:0), l.getPreferredSize().height));
    for (int i = 0; i < tabCount; i++) {
      JComponent l = (JComponent) getTabComponentAt(i);
      if (l == null) break;
      l.setPreferredSize(new Dimension(tabWidth + (i < gap ? 1 : 0), l.getPreferredSize().height));
    }
    super.doLayout();
  }
  @Override
  public synchronized void repaint() {
    initTabWidth();
    super.repaint();
  }
  @Override
  public void insertTab(String title, Icon icon, Component component, String tip, int index) {
    super.insertTab(title, icon, component, tip==null?title:tip, index);
    JLabel label = new JLabel(title, JLabel.CENTER);
#spanadd

#spanend
  @Override public void insertTab(
      String title, Icon icon, Component component, String tip, int index) {
    super.insertTab(title, icon, component, tip == null ? title : tip, index);
    JLabel label = new JLabel(title, SwingConstants.CENTER);
    Dimension dim = label.getPreferredSize();
    Insets tabInsets = getTabInsets();
    label.setPreferredSize(new Dimension(0, dim.height+tabInsets.top+tabInsets.bottom));
    label.setPreferredSize(new Dimension(0, dim.height + tabInsets.top + tabInsets.bottom));
    setTabComponentAt(index, label);
  }
}

• 機能はJTabbedPaneのタブを等幅にしてタイトルをクリップとほぼ同等
  • 文字列の長さに依存せず左右にタブを配置した場合は全体の1/4の幅に、上下にタブを配置した場合はすべてのタブ幅を均等になるよう設定
  • JTabbedPaneのタブを等幅にしてタイトルをクリップのようにTabbedPaneUI#paintText(...)メソッドをオーバーライドして文字列の描画を上書きする必要がないためシンプルに実装可能

• JTabbedPaneのタブを等幅にしてタイトルをクリップ

参考リンク

コメント