Python Spinbox格式在Windows与Linux上的表现不同

Question

这是我的代码：

   self._image_set_number = Spinbox(self._ramp_group, from_=0, to=999, command=self.reset_rep, format="%03.0f")
   self._repetition_change = Spinbox(self._ramp_group, from_=00, to=99, format="%02.0f")

在Linux上，微调器的行为符合预期。 _image_set_number中始终有三位数字，_repetition_change中有两位数字。这些值在左侧用零填充。当我使用小箭头增加值时，它会按预期工作。

但是，在Windows 7 64位上，小箭头的行为与预期不符。它们会升至008，然后在下次点击时返回000。我错过了什么，或者这是Windows版Tkinter中的一个错误？