Add API to query display corner radius.

[MikuAuahDark]

Mobile devices tend to have rounded corners on their display. Without taking this into account, it's possible that user elements are not visible, even when using love.window.getSafeArea.

Android 12 have this API and explanation: https://developer.android.com/develop/ui/views/layout/insets/rounded-corners

I believe iOS has something similar?

[slime73]

I believe iOS has something similar?

I'm actually not sure it does, I can't find any API at least. Maybe it's already part of the safe area there?

[MikuAuahDark]

Hmm, that's interesting. I wonder what this looks like in iPhone with rounded corners?

function love.draw()
	love.graphics.setColor(1, 0, 0)
	love.graphics.rectangle("fill", 0, 0, love.graphics.getDimensions())
	love.graphics.setColor(0, 1, 0)
	love.graphics.rectangle("fill", love.window.getSafeArea())
end

If iOS handles rounded corners but Android doesn't, then it's an issue with Android and I should fix it.

[slime73]

Here's what an iPhone looks like in portrait and landscape (using slightly modified code):

[gilzoide]

Instead of adding a new API to query for display corner radius, maybe it's better to update love.window.getSafeArea to take rounded corners into account. It could (maybe even should) adapt to the device orientation as well to letterbox corners only on the largest axis, like iOS does (see above screenshots, how the portrait safe area maintains the whole device width).