vala Webkit.WebView DOM操作

如何在webkit2gtk-4.0中操作DOM树

旧版本：

WebKit.DOM.Document doc = get_dom_document();
WebKit.DOM.Element el = doc.create_element("div");
el.append_child(doc.create_text_node(color));
((WebKit.DOM.EventTarget) el).add_event_listener("dblclick", (Callback) on_div_clicked, false, this);
doc.body.insert_before(el, null);

汇编：

valac --pkg gtk+-3.0 --pkg libsoup-2.4 --pkg webkitgtk-3.0

新版本编译：

valac --pkg gtk+-3.0 --pkg webkit2gtk-4.0

错误：

error: The symbol `DOM' could not be found
    private WebKit.DOM.Document get_document()

如何将webkit2gtk-web-extension-4.0添加到编译标志中？

添加

--pkg webkit2gtk-web-extension-4.0