]> git.ipfire.org Git - thirdparty/vala.git/commitdiff
webkit2gtk-4.0: Actually update to 2.18
authorRico Tzschichholz <ricotz@ubuntu.com>
Fri, 6 Oct 2017 06:05:09 +0000 (08:05 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Fri, 6 Oct 2017 06:05:09 +0000 (08:05 +0200)
vapi/webkit2gtk-4.0.vapi

index a248675a30f7041a1a1c4128f18dcf1db592186f..adf4fc96f01e1083be66b8326a7893f023b777ab 100644 (file)
@@ -1092,7 +1092,7 @@ namespace WebKit {
                public virtual signal bool load_failed_with_tls_errors (string failing_uri, GLib.TlsCertificate certificate, GLib.TlsCertificateFlags errors);
                public virtual signal void mouse_target_changed (WebKit.HitTestResult hit_test_result, uint modifiers);
                [CCode (cname = "show-option-menu")]
-               [Version (since = "2.18.")]
+               [Version (since = "2.18")]
                public signal bool on_show_option_menu (WebKit.OptionMenu menu, Gdk.Event event, Gdk.Rectangle rectangle);
                public virtual signal bool permission_request (WebKit.PermissionRequest permission_request);
                public virtual signal bool print (WebKit.PrintOperation print_operation);