[metapost] Re: [metafont] [question about metapost]How to make color text in boxes?

[Taco Hoekwater]

Hi,

Please forget the code in my earlier post, it doesn't work.
Hartmut's code does work.

But considering we cannot touch plain.mf, only plain.mp, and
since Laurence doesn't mind much, it seems better to update
the documentation only.

Taco

Hartmut Henkel wrote:
>>This is what _A User's Manual for MetaPost_ has to say:
>> "[...] the dotlabel statement.  This is exactly like the label statement
>>except that it adds a dot at the indicated coordinates."
> 
> so this sentence is not quite true.