[debbugs-tracker] bug#7296: closed (display-pixel-height not enough)

[GNU bug Tracking System]

Your message dated Fri, 13 Feb 2015 19:29:48 +0100
with message-id <address@hidden>
and subject line Re: bug#7296: display-pixel-height not enough
has caused the debbugs.gnu.org bug report #7296,
regarding display-pixel-height not enough
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
7296: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7296
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> display-pixel-height not enough
>
>
>
>
> Date: 
>
> Thu, 28 Oct 2010 12:11:07 +0200
>
>
>
>
> If you want to know how much height there is available to display a
> frame then display-pixel-height does not give you the information you
> need. The taskbar (w32 name, I have no idea what it is called on other
> platform) and other "bars" may have reserved some of the vertical
> space.
>
> I suggest adding something like display-available-pixel-height that
> gives the actual height available for a frame that can be totally
> visible.
>
> (There is a similar problem for the width.)
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#7296: display-pixel-height not enough
>
>
>
>
> Date: 
>
> Fri, 13 Feb 2015 19:29:48 +0100
>
>
>
>
> > `display-monitor-attributes-list' should provide all the information you
> > need now.  Unless something was left out please consider closing this
> > bug.
>
> Bug closed.
>
> Thanks, martin
>
>
> --- End Message ---