widget
will be treated as the default widget
within its toplevel when it has the focus, even if another widget
is the default.gtkWidgetSetReceivesDefault(object, receives.default)
object
receives.default
widget
can be a default widget.gtkWidgetGrabDefault
for details about the meaning of
"default".
Since 2.18