gtk3: GtkWidget::focus-out-event docs are wrong
On this page: https://docs.gtk.org/gtk3/signal.Widget.focus-out-event.html
It shows callback parameters:
GtkWidget* self, GdkEventFocus event, gpointer user_data
The event parameter is wrong, it should be of type GdkEventFocus*
- note the pointer.