ungrab_pointer_checked


Description:

public VoidCookie ungrab_pointer_checked (Timestamp time)