Leeloo

@avaloniaui
Where does one report #avaloniaui bugs, for those of us without a Github account?

I get an OverflowException in IntPtr.ToInt32 called from X11Screen.UpdateWorkArea.

As far as I can see, IntPtr.ToInt32 is only used in one place in UpdateWorkArea, when converting prop from XGetWindowProperty() to a PixelRect.

I then tried writing a small C program to see what XGetWindowProperty returns for _NET_WORKAREA, and the one thing that stands out is count = 0, which as expected results in garbage data in the four elements of the returned array.

Maybe my good old Fvwm3 doesn't support _NET_WORKAREA, or simply doesn't have one set up. It seems to me that UpdateWorkArea needs to use a default value when count = 0.