[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: GNU bug Tracking System
Subject: [debbugs-tracker] bug#7296: closed (display-pixel-height not enough)
Date: Fri, 13 Feb 2015 18:30:09 +0000

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

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

I suggest adding something like display-available-pixel-height that
gives the actual height available for a frame that can be totally

(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 closed.

Thanks, martin

--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]