keyboard_ungrab

void keyboard_ungrab([int time = GDK_CURRENT_TIME]);