bug#7296: display-pixel-height not enough

[Stefan Monnier]

>> In what way can the working display area size in pixels be
>> incompatible? And why is using the current total display area size
>> better (and more compatible)?
> It's not that one or the other is better; it's that they
> are different.

Indeed, and it goes even further: if someone cares about the workarea
enough to want to know its height and width, she may also want to know
its *position* on the screen.  So I'm not sure convinced that
adding display-pixel-work-height and display-pixel-work-width would be
sufficient either.


        Stefan