gtk+-2.0: gtk_window_set_focus parameter can be null

Fixes bug 593491.

diff --git a/vapi/gtk+-2.0.vapi b/vapi/gtk+-2.0.vapi
index 64525ed229a232bd8aed6eec79f6cb2f97477207..5806d73a0273fc59a9fce39b3c4f7a1050922bec 100644 (file)
--- a/vapi/gtk+-2.0.vapi
+++ b/vapi/gtk+-2.0.vapi
@@ -5447,7 +5447,7 @@ namespace Gtk {
                public virtual signal bool frame_event (Gdk.Event event);
                public virtual signal void keys_changed ();
                [HasEmitter]
-               public virtual signal void set_focus (Gtk.Widget focus);
+               public virtual signal void set_focus (Gtk.Widget? focus);
        }
        [Compact]
        [CCode (cheader_filename = "gtk/gtk.h")]

diff --git a/vapi/packages/gtk+-2.0/gtk+-2.0.metadata b/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
index 0b90ab0a42c2f95919bef4f4b44edae36285444a..e83838e376dbbfd5aea31b542703af36a3cd3016 100644 (file)
--- a/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
+++ b/vapi/packages/gtk+-2.0/gtk+-2.0.metadata
@@ -662,6 +662,7 @@ gtk_widget_new hidden="1"
 GtkWindow::activate_default name="default_activated" experimental="1"
 GtkWindow::activate_focus name="focus_activated" experimental="1"
 GtkWindow::set_focus has_emitter="1"
+GtkWindow::set_focus.focus nullable="1"
 GtkWidget::button_press_event.event namespace_name="Gdk" type_name="EventButton"
 GtkWidget::button_release_event.event namespace_name="Gdk" type_name="EventButton"
 GtkWidget::client_event.event namespace_name="Gdk" type_name="EventClient"