[ Version ( since = "3.8" ) ]
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 |