GdkDisplay::keyboard_ungrab

void keyboard_ungrab([int time_ = GDK_CURRENT_TIME]);

See also: pointer_ungrab()