Python Gtk.菜单中激活时间的格式

当使用

GTK.Menu.popup（）方法时，Python GTK+中参数
activate\u time
的格式是什么

我尝试过使用
int（time.time（））
，但是我得到一个回溯，说需要一个整数…
不确定它是否是一个完整的解决方案，但是
time.time（）
，尝试强制转换为int，看看会发生什么

编辑：
在查阅源文档后，我发现了以下花絮：

按钮和激活时间值应为按下以触发菜单弹出的鼠标按钮和按下按钮的时间。这些值通常可以从“按钮按下事件”中检索

也许这比我第一次尝试会更有帮助

我还发现，它在信号处理程序中调用了
popup（）
（这就是它们获取“按钮按下事件”的方式）。
我发现我可以使用
gtk.get\u current\u event\u time（）
来获取与gtk预期相符的合理时间戳。
但我确实指定了我使用的是
int（time.time（））
-）哇，你应该找个时间看看。。。可惜pygtk没有任何文档，在这种情况下肯定会有帮助！在这个问题上一直在谷歌上疯狂搜索！！