Widget.setReceivesDefault
void setReceivesDefault(bool receivesDefault)Specifies whether widget will be treated as the default widget within its toplevel when it has the focus, even if another widget is the default.
See [gtk.widget.Widget.grabDefault] for details about the meaning of “default”.
Parameters
receivesDefault | whether or not widget can be a default widget. |