Screen.height

Gets the height of the default screen in pixels. The returned size is in ”application pixels”, not in ”device pixels” (see [gdk.screen.Screen.getMonitorScaleFactor]).