From c5d31b3fcdb9d564dc3340714a129f72a072391f Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Mon, 24 Apr 2023 10:00:44 +0200 Subject: [PATCH] gtk4: StyleContext.add_provider_for_display/remove_provider_for_display is not deprecated Fixes https://gitlab.gnome.org/GNOME/vala/issues/1429 --- vapi/gtk4.vapi | 2 ++ vapi/metadata/Gtk-4.0.metadata | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/vapi/gtk4.vapi b/vapi/gtk4.vapi index cc78893b5..a61121cc0 100644 --- a/vapi/gtk4.vapi +++ b/vapi/gtk4.vapi @@ -13062,6 +13062,7 @@ namespace Gtk { protected StyleContext (); public void add_class (string class_name); public void add_provider (Gtk.StyleProvider provider, uint priority); + [Version (deprecated = false)] public static void add_provider_for_display (Gdk.Display display, Gtk.StyleProvider provider, uint priority); [NoWrapper] public virtual void changed (); @@ -13076,6 +13077,7 @@ namespace Gtk { public bool lookup_color (string color_name, out Gdk.RGBA color); public void remove_class (string class_name); public void remove_provider (Gtk.StyleProvider provider); + [Version (deprecated = false)] public static void remove_provider_for_display (Gdk.Display display, Gtk.StyleProvider provider); [CCode (cheader_filename = "gtk/gtk.h", cname = "gtk_render_activity")] public void render_activity (Cairo.Context cr, double x, double y, double width, double height); diff --git a/vapi/metadata/Gtk-4.0.metadata b/vapi/metadata/Gtk-4.0.metadata index ed233a576..e131c0364 100644 --- a/vapi/metadata/Gtk-4.0.metadata +++ b/vapi/metadata/Gtk-4.0.metadata @@ -62,6 +62,11 @@ TreeStore // Better deprecation notices +// Not deprecated +StyleContext + .add_provider_for_display deprecated=false + .remove_provider_for_display deprecated=false + // Factory method of abstract type ATContext .create symbol_type="function" -- 2.47.3