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):