如何在Python代码构建的Gio.Menu中添加分隔符？

嘿，这事儿好办！你只需要在两个菜单项之间加一行代码，就能轻松插入分隔符啦。

Gio.Menu提供了很直观的方式来添加分隔符——直接调用 menu.append(None, None) 就行，当两个参数都传None时，它会自动生成一个分隔符。

修改后的代码如下：

menu = Gio.Menu()

menu.append("Foo", "win.foo")

# 添加分隔符
menu.append(None, None)

menu.append("Bar", "win.bar")

另外还有一种方式：创建一个 Gio.SeparatorMenuItem 对象，再用 menu.append_item() 方法添加进去，代码示例如下：

menu = Gio.Menu()

menu.append("Foo", "win.foo")

# 创建并添加分隔符菜单项
separator = Gio.SeparatorMenuItem()
menu.append_item(separator)

menu.append("Bar", "win.bar")

两种方法都能实现你要的效果，选哪种全看你个人习惯~

备注：内容来源于stack exchange，提问作者Fred