java - 如何在 Jspinner 中制作时间格式？

Question

如何制作像这样的时间格式时时：分分：秒秒，毫秒毫秒毫秒

当我使用 NET bean 的可视 GUI 制作这个微调器时，只使用一个 Jspinner。

Answer 1

您需要同时使用两者，SpinnerDateModel并JSpinner.DateEditor使用正确的日期格式模式：

public class JSpinnerDateFormat extends JFrame {
    public JSpinnerDateFormat() {
        super("JSpinner Date Format");
        JSpinner spinner = new JSpinner();
        spinner.setModel(new SpinnerDateModel());
        spinner.setEditor(new JSpinner.DateEditor(spinner, "HH:mm:ss.SSS"));
        add(spinner);
        pack();
        setDefaultCloseOperation(EXIT_ON_CLOSE);
        setVisible(true);
    }

    public static void main(String[] args) {
        new JSpinnerDateFormat();
    }
}