void focus([int timestamp = GDK_CURRENT_TIME]);