Subject: bug#7296: display-pixel-height not enough

From: Lennart Borgman <[email-masked]>
Date: Thu, 28 Oct 2010 22:39:35 +0200

On Thu, Oct 28, 2010 at 8:01 PM, Eli Zaretskii <[email-masked]> wrote:
>> From: Lennart Borgman <[email-masked]>
>> Date: Thu, 28 Oct 2010 12:11:07 +0200
>> Cc:
>>
>> I suggest adding something like display-available-pixel-height that
>> gives the actual height available for a frame that can be totally
>> visible.
>
> Wouldn't it make more sense for display-pixel-height/width to return
> the height available for display?

Probably. But there are perhaps also situation when you actually want
to get the dimension of the whole display. Perhaps not at the moment,
but with enhanced frame handling there could be.

For the moment I think you suggestion is best. It will be more
backward compatible than my initial suggestion.