set_keyboard


Description:

public void set_keyboard (Widget? widget)

Sets the widget whose key events will be forwarded to this.

Parameters:

this

a Core

widget

a Widget, or null