[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: frame-pixel-(width|height) is incorrect
From: |
Richard Stallman |
Subject: |
Re: frame-pixel-(width|height) is incorrect |
Date: |
Fri, 28 Dec 2007 08:56:08 -0500 |
So, it looks like the doc should say that it is the width of the text area
inside a frame plus the width of the scroll bar (if visible) plus the width
of the internal frame border. Similarly, for height.
I will install something like that in the manual.
I agree with David that these functions, or possibly some other functions,
should give the _outside_ dimensions of the frame.
It would be useful to offer that, to the extent it is possible.