From 4c1bb1895610eaa4057cb133d9acdfaec51e6fa9 Mon Sep 17 00:00:00 2001 From: Irmen de Jong Date: Sat, 19 Mar 2022 01:08:10 +0100 Subject: [PATCH] refreshrate default value --- virtualmachine/src/prog8/vm/GraphicsWindow.kt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/virtualmachine/src/prog8/vm/GraphicsWindow.kt b/virtualmachine/src/prog8/vm/GraphicsWindow.kt index 1a8952ce4..1175ab31e 100644 --- a/virtualmachine/src/prog8/vm/GraphicsWindow.kt +++ b/virtualmachine/src/prog8/vm/GraphicsWindow.kt @@ -45,7 +45,9 @@ class GraphicsWindow(val pixelWidth: Int, val pixelHeight: Int, val pixelScaling private fun optimalRefreshRate(frame: JFrame): Int { var rate = frame.graphicsConfiguration.device.displayMode.refreshRate if(rate==0) - rate = GraphicsEnvironment.getLocalGraphicsEnvironment().screenDevices.map { it.displayMode.refreshRate }.first { it>0 } + rate = GraphicsEnvironment.getLocalGraphicsEnvironment().screenDevices + .map { it.displayMode.refreshRate } + .firstOrNull { it>0 } ?: 60 return max(30, min(250, rate)) }