Swing/MinimumThumbSize のバックアップ(No.6)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/MinimumThumbSize へ行く。
  • 1 (2012-12-13 (木) 15:17:24)
  • 2 (2013-03-19 (火) 18:40:49)
  • 3 (2013-03-20 (水) 00:36:13)
  • 4 (2014-04-02 (水) 14:55:48)
  • 5 (2014-04-07 (月) 00:04:51)
  • 6 (2014-09-29 (月) 17:40:25)
  • 7 (2014-11-27 (木) 18:32:08)
  • 8 (2016-01-01 (金) 01:13:16)
  • 9 (2016-05-26 (木) 15:15:47)
  • 10 (2017-03-30 (木) 14:19:07)
  • 11 (2017-04-07 (金) 13:51:51)
  • 12 (2017-11-02 (木) 15:38:50)
  • 13 (2017-12-07 (木) 11:45:02)
  • 14 (2019-08-14 (水) 15:44:34)
  • 15 (2020-11-12 (木) 17:47:59)
  • 16 (2020-11-16 (月) 02:34:17)
  • 17 (2022-08-20 (土) 22:15:25)
  • 18 (2022-12-09 (金) 12:44:41)
  • 19 (2023-09-15 (金) 12:45:15)

• title: JScrollBarのKnobの最小サイズを設定する tags: [JScrollBar, UIManager, JSlider] author: aterai pubdate: 2012-03-19T15:02:42+09:00

概要

JScrollBarのKnobの最小サイズを設定します。

Screenshot

Download

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

サンプルコード

UIManager.put("ScrollBar.minimumThumbSize", new Dimension(32, 32));

解説

上記のサンプルでは、右のJScrollPaneで、JScrollBarのKnob(Thumb)が短くなりすぎないように、最小サイズ(Horizontalの場合は幅、Verticalの場合は高さ)を設定します。

• 注: LookAndFeelによって、UIManager.put("ScrollBar.minimumThumbSize", new Dimension(32, 32));が有効かどうかは異なる
  • BasicLookAndFeel、WindowsLookAndFeel: 有効
  • MetalLookAndFeel、NimbusLookAndFeel: 無効
    • 以下のように、縦スクロールバーならその幅が最小サイズになるよう上書きされているため

// @see javax/swing/plaf/metal/MetalScrollBarUI.java
protected Dimension getMinimumThumbSize() {
  return new Dimension(scrollBarWidth, scrollBarWidth);
}

Windows 7のWindowsLookAndFeelでJSliderを使った場合も、つまみ？のサイズが小さすぎるが、UIManager.put("Slider.minimumHorizontalSize", new Dimension(32, 32))などとしても効果がない？

Slider.horizontalSize
Slider.verticalSize
Slider.minimumHorizontalSize
Slider.minimumVerticalSize
Slider.horizontalThumbIcon
Slider.verticalThumbIcon

• 参考: Java Swing rendering bug on Windows 7 look-and-feel? - Stack Overflow
  • slider.setPaintTicks(true)とした場合は、正常なサイズにみえる。
• JSliderのつまみの形状を変更
  • トラックを表示したくない場合は、slider.putClientProperty("Slider.paintThumbArrowShape", Boolean.TRUE);で、つまみの形だけ変更

参考リンク

• Java Swing rendering bug on Windows 7 look-and-feel? - Stack Overflow
• JSliderのつまみの形状を変更

コメント