GTK菜单中激活时间的格式

不确定这是否是一个完整的解决方案,但是 time.time() returns a float ,尝试强制转换为int,看看会发生什么。

编辑: 在查阅了源文档之后,我发现了这个小消息:

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

也许这比我第一次尝试更有用。

我也发现了 this C snipet in the C docs ,它有 popup() 在信号处理程序中被调用(这就是它们获得“button-press-event”的方式)。

我发现我可以用 gtk.get_current_event_time() 为了得到一个合理的时间戳,匹配GTK的期望值。