如何使 title-change 调用在 webkit2gtk 中工作?

How to make title-change call work in webkit2gtk?

我正在尝试将用 python2 编写的旧 GTK webkit 代码移植到 webkit2 和 python3(Ubuntu 已删除旧的 webkit v1)。 js 代码更改了 html 的标题,并且 python 检测到它以将其关闭。但是,它在 webkit2 中不起作用。 在旧代码中,有行

self.webview.connect('title-changed', title_changed) #title_changed is a python function, which will do something

显示 TypeError: <WebKit2.WebView object at 0x7f14b687ecd0 (WebKitWebView at 0x557297cdb7c0)>: unknown signal name: title-changed.

如何将此代码移植到webkit2? 根据https://webkitgtk.org/reference/webkit2gtk/stable/WebKitWebView.html有webkit_web_view_get_title(),但是有什么方法可以检测标题的变化吗?

由于 title 是一个 属性,它会自动附带一个可以连接的 notify 信号。使用 notify::title.

使用下面的代码,例如

self.webview.connect('notify::title', title_changed)