UIManager.put（）无法正常工作？

Question

我正在使用JSliders的应用程序并将外观设置为平台默认值。现在我尝试使用以下代码设置滑块的拇指大小：

UIManager.put("Slider.thumbHeight",5);
UIManager.put("Slider.thumbWidth",20);

但它们的大小保持不变。我也试过这个：

UIManager.getDefaults().put("Slider.thumbHeight",5);
UIManager.getDefaults().put("Slider.thumbWidth",20);

相同的结果，滑块上的拇指仍然是默认大小。我也在设定风格之前/之后调用它，但没有区别。