Get notch height?

Hello, I am attempting to change some GUI depending on the notch. Is there a way to get this from IOS?

I attempted to use ofxiOSGetDeviceRevision() but using an Iphone 8 it returns “iPhone10,2”. I was planning on having some Ifs depending on what that returned.

Is there something I am missing here?

Thanks all.

The iPhone device number are not aligned to the product names; see: