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

From: Eli Zaretskii <[email-masked]>
Date: Thu, 28 Oct 2010 20:01:27 +0200

> 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?