getTimings
Retrieves a GdkFrameTimings object holding timing information for the current frame or a recent frame.
The GdkFrameTimings object may not yet be complete: see method@Gdk.FrameTimings.get_complete and method@Gdk.FrameClock.get_history_start.
Return
the GdkFrameTimings object for the specified frame, or null if it is not available
Parameters
frameCounter
the frame counter value identifying the frame to be received