Swing/TabWidth のバックアップ(No.3)

バックアップ一覧
差分を表示
現在との差分を表示
現在との差分 - Visual を表示
ソースを表示
Swing/TabWidth へ行く。

Terai Atsuhiro 2021-04-17 (土) 02:58:20

tab1.setUI(new javax.swing.plaf.basic.BasicTabbedPaneUI() {
  protected int calculateTabWidth(int tabPlacement, int tabIndex,
                                  FontMetrics metrics) {
    int i = super.calculateTabWidth(tabPlacement, tabIndex, metrics);
    return (i<100) ? 100 : i;
  }
});

public String makeTitle(String title) {
  return "<html><table width='100'><tr><td align='center'>"+
          title+
         "</td></tr></table>";
}