Re: x-display-pixel-width/height inconsistency

[Glenn Morris]

YAMAMOTO Mitsuharu wrote:

>   Temporary note:
>   +++ indicates that the appropriate manual has already been updated.
>   --- means no change in the manuals is called for.
>   When you add a new item, please add it without either +++ or ---
>   so we will look at it and add it to the manual.
>
> I thought the judgement whether a new feature/function needs to be
> documented in the maunal was done by a third person at a later time
> (in the pretest stage, for example).

You are encouraged to review your own changes before then.
The possibilities are:

1) If you are absolutely sure it does not need any documentation, add ---.

2) If you know it needs documentation, try to write some.
If you are absolutely positive that the documentation you have written
is correct and adequate, add +++.

3) If you really don't know whether something needs documenting or not,
either do nothing, or ask.