如何更改Python GTK3 SpinButton显示文本的格式？

基于此示例的代码，我有：

def on_output(spin):
    adj = spin.get_adjustment()
    val = int(adj.get_value())
    s = "%02d" % val
    print "on_output: %s" % s
    spin.set_text(s)

我连接到我的旋转按钮的“输出”信号。当控件第一次显示（显示“00”）时，它似乎起作用，但当我单击SpinButton的增量按钮时，on_输出的格式化值被覆盖，因此例如，我的“01”显示为普通的“1”。看起来是另一个信号或事件导致控件在on_输出后重新格式化，但我有点难以诊断。任何使用Python的GTK3专家，请提供调试建议

---

平台是Xubuntu 18.10、Python 2.7、GTK3 3.22。

哇！如果曾经有过用“RTFM”回应的案例就是这样。亚历山大·德米特里耶夫（Alexander Dmitriev）非常礼貌地指出，“return”语句缺失。在我的第一次尝试中，我返回了True，但是失败了（可能是因为一些无关的原因），所以我尝试了False，这没有什么区别。不知怎的，在那之后，返回值丢失了，当我“仔细地”重新阅读文档时，我没有看到它——我们看到了我们期望看到的！我一定是太老了，不能玩这个黑客游戏了，也许是时候挂断键盘了。：）

你为什么不返回真值？