get_frame_counter

Description:

public int64 get_frame_counter ()

Gets the frame counter value of the `GdkFrameClock` when this frame was drawn.

Parameters:

this

a `GdkFrameTimings`

Returns:

the frame counter value for this frame