diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2016-08-01 12:10:36 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2016-08-01 12:10:36 +0200 |
commit | fbbeeba71c1900f3bd69de9c821001e4c361ee83 (patch) | |
tree | 88d38bc72df5046e70451c99c85b74815cbc6fea | |
parent | 69c938d1da65a1d0c1cbb32a9587b14f01ff75bc (diff) | |
download | vala-fbbeeba71c1900f3bd69de9c821001e4c361ee83.tar.gz |
vapi: Update GIR-based bindings
-rw-r--r-- | vapi/webkit2gtk-web-extension-4.0.vapi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vapi/webkit2gtk-web-extension-4.0.vapi b/vapi/webkit2gtk-web-extension-4.0.vapi index 88734ecfd..0f1703032 100644 --- a/vapi/webkit2gtk-web-extension-4.0.vapi +++ b/vapi/webkit2gtk-web-extension-4.0.vapi @@ -319,6 +319,8 @@ namespace WebKit { public WebKit.DOM.HTMLScriptElement current_script { owned get; } public string default_charset { owned get; } public WebKit.DOM.DOMWindow default_view { owned get; } + [NoAccessorMethod] + public string dir { owned get; set; } public WebKit.DOM.DocumentType doctype { get; } public WebKit.DOM.Element document_element { get; } public string document_uri { owned get; set; } |