platformWidth

[Johan Vos]

Hi,

com.sun.glass.ui.Screen has 3 width (and height) parameters, each with a
getter:
* width
* visibleWidth
* platformWidth

The latter seems to be used only in the windows build,
via screen.containsPlatformRect and screen.portionIntersectsPlatformRect

I don't really understand what the goal of this platformWidth/Height is. It
seems a bit artificial if this is not used on the other platforms, but I
might be missing the bigger purpose of this?

- Johan