java - GWT 中 DoubleBox 或 TextBox 中的小数

Question

我正在尝试创建自己的框，您只能在其中编辑数字，并且它们应该显示为一位小数。

声明
private static class NumTextBox extends DoubleBox //TextBox
很 this.getElement().setAttribute("type", "number"); 简单
this.getElement().setAttribute("max", "12"); this.getElement().setAttribute("min", "0"); this.getElement().setAttribute("step", "0.5");

当我设置该值时，我会按预期得到一位小数。但是，当我向上/向下移动时，小数点会变成偶数，所以我得到 1、1.5、2、2.5、3 等等，而我想要 1.0、1.5、2.0、2.5、3.0 等等。

使用setAttribute("decimals", "1");和/或setAttribute("format", "#0.0#");似乎没有做任何事情。

我读到你可以用它NumberFormatRenderer来做到这一点，但我还没有找到任何关于如何做到这一点的信息。