java这是JSlider中的一个bug吗?
我在使用JSlider类时遇到了一些问题,特别是在使用记号标签时
我第一次使用setMajorTickSpacing
和setMinorTickSpacing
时,一切正常。但是,对setMajorTickSpacing
的后续调用会更新记号,但不会更新标签。我写了一个简单的例子来说明这种行为:
import java.awt.event.*;
import javax.swing.*;
public class SliderTest {
public static void main(String args[]) {
JFrame frame = new JFrame();
frame.addWindowListener(new WindowAdapter() {
public void windowClosing(WindowEvent we) {
System.exit(0);
}
});
frame.setSize(300, 250);
JSlider slider = new JSlider(0, 100, 0);
slider.setMajorTickSpacing(10);
slider.setMinorTickSpacing(1);
slider.setPaintLabels(true);
slider.setPaintTicks(true);
slider.setMajorTickSpacing(25);
slider.setMinorTickSpacing(5);
frame.add(slider);
frame.pack();
frame.setVisible(true);
}
}
两个简单的解决方法似乎可以解决这个问题——在第二次调用setMajorTickSpacing
之前使用slider.setLabelTable(null)
或slider.setLabelTable(slider.createStandardLabels(25))
。鉴于此,标签表似乎没有正确更新
我不确定这是不是有意的行为。我的第一个直觉是,更新记号间距也应该更新标签,但也有将两者分开的理由
所以我想知道它是什么-这是JSlider
中的bug还是预期的行为?如果是的预期行为,那么做出选择的突出原因是什么
# 1 楼答案
通过查看
setMajorTickSpacing
源代码,您可以很容易地看到此问题的原因:如果调用此方法两次-
labelTable
值将不再为null,并且不会被更新。根据方法的注释,这可能是一种预期行为:因此,每次需要更新标签时,都必须手动更新标签(除非您使用自己的更新方法覆盖此方法)