[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#7296: display-pixel-height not enough
From: |
Drew Adams |
Subject: |
bug#7296: display-pixel-height not enough |
Date: |
Tue, 2 Nov 2010 10:48:01 -0700 |
> So what are the objections to this (my original suggestion) at this
> point? To be 100% clear, I suggest:
>
> . on w32, return the dimensions sans the reserved part(s)
> . on other GUI platforms, no change from the current behavior
Hardly 100% clear. Are you talking about changing the behavior of
`display-pixel-height' or defining a new function to do that?
You refer to your "original suggestion". Do you mean this suggestion:
>> Wouldn't it make more sense for display-pixel-height/width
>> to return the height available for display?
and
>> "Available" means it does not include portions that are not
>> usable by any window.
If so, that sounds like a proposal to change the meaning/behavior of the
function. I, for one, object to that (see the thread).
I have no objection to your defining a new function that does that (or anything
else), however.
- bug#7296: display-pixel-height not enough, (continued)
- bug#7296: display-pixel-height not enough, Jan Djärv, 2010/11/01
- bug#7296: display-pixel-height not enough, Eli Zaretskii, 2010/11/01
- bug#7296: display-pixel-height not enough, Lennart Borgman, 2010/11/01
- bug#7296: display-pixel-height not enough, Jan Djärv, 2010/11/01
- bug#7296: display-pixel-height not enough, Eli Zaretskii, 2010/11/01
- bug#7296: display-pixel-height not enough, Jason Rumney, 2010/11/01
- bug#7296: display-pixel-height not enough, Eli Zaretskii, 2010/11/02
- bug#7296: display-pixel-height not enough, Jan D., 2010/11/02
- bug#7296: display-pixel-height not enough, Eli Zaretskii, 2010/11/02
- bug#7296: display-pixel-height not enough, Lennart Borgman, 2010/11/02
- bug#7296: display-pixel-height not enough,
Drew Adams <=
- bug#7296: display-pixel-height not enough, Jan Djärv, 2010/11/02
bug#7296: display-pixel-height not enough, Drew Adams, 2010/11/01
bug#7296: display-pixel-height not enough, Drew Adams, 2010/11/02