get_frame_counter

Description:

public int64 get_frame_counter ()

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

this	a `GdkFrameTimings`

the frame counter value for this frame