Re: frame-pixel-(width|height) is incorrect

[Richard Stallman]

    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.