static JComponent jMaxSpeedAnimationWithStats(IF0_Pair renderFrameWithStats) { new ImageSurface is; is.autoZoomToDisplay(true); new DoubleFPSCounter fps; var lblStats = jlabel(); awtCalcContinuously(is, -> { var imageAndStats = renderFrameWithStats!; fps.inc(); is.setImage(pairA(imageAndStats)); setText(lblStats, joinNemptiesWithComma(fps, pairB(imageAndStats))); }); ret centerAndSouth(jscroll_center_borderless(is), withMargin(lblStats)); }