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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/TabbedPaneUseBasicArrows へ行く。
  • 1 (2022-09-05 (月) 03:38:10)
  • 2 (2022-09-07 (水) 22:04:38)
  • 3 (2022-10-24 (月) 15:02:56)
  • 4 (2022-10-30 (日) 19:02:03)
  • 5 (2022-11-12 (土) 09:04:29)

• category: swing folder: TabbedPaneUseBasicArrows title: NimbusLookAndFeelでJTabbedPaneのスクロール矢印ボタンを変更する tags: [NimbusLookAndFeel, JTabbedPane, ArrowButton, UIManager] author: aterai pubdate: 2022-09-05T03:34:14+09:00 description: NimbusLookAndFeelを適用したJTabbedPaneのスクロール矢印ボタンがBasicArrowButtonかSynthArrowButtonのどちらを使用するかを切り替えます。 image: https://drive.google.com/uc?id=1kL0AppkB4JwnMPqMOEcChAIp3L58NV3F

概要

NimbusLookAndFeelを適用したJTabbedPaneのスクロール矢印ボタンがBasicArrowButtonかSynthArrowButtonのどちらを使用するかを切り替えます。

Screenshot

Download

• Runnable JAR example.jar
• Source code src.zip
• Repository GitHub

サンプルコード

JTabbedPane tabs = new JTabbedPane();
tabs.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
IntStream.range(0, 100).forEach(i -> tabs.addTab("title" + i, new JLabel("label" + i)));

String key = "TabbedPane.useBasicArrows";
// UIManager.put(key, Boolean.FALSE);
// UIManager.put("ArrowButton.size", 24);

JCheckBox check = new JCheckBox(key, UIManager.getBoolean(key));
check.addActionListener(e -> {
  boolean b = ((JCheckBox) e.getSource()).isSelected();
  UIManager.put(key, b);
  SwingUtilities.updateComponentTreeUI(tabs);
});

解説

• TabbedPane.useBasicArrows: Boolean.TRUE
  • NimbusLookAndFeelのデフォルトでJTabbedPaneのスクロール矢印ボタンとしてBasicArrowButtonを使用する
• TabbedPane.useBasicArrows: Boolean.FALSE
  • JTabbedPaneのスクロール矢印ボタンとしてSynthArrowButtonを継承したSynthScrollableTabButtonを使用する
  • UIManager.put("ArrowButton.size", 24)などでスクロール矢印ボタンのサイズ変更が可能

• Java 11のGTKLookAndFeelでJTabbedPane.SCROLL_TAB_LAYOUTを設定した場合のバグ？
  • スクロール矢印ボタンをクリックするとGtk-CRITICAL **: ...: gtk_render_frame_gap: assertion 'xy0_gap >= 0' failedとエラーが表示される
  • GTKLookAndFeelのデフォルトでJSpinnerの下矢印ボタンが2つ左右に並んで表示される
    • これはTabbedPane.useBasicArrows: Boolean.TRUEで回避可能

参考リンク

• JSpinnerのArrowButtonのサイズを変更

コメント