On 02/09/2019 23:35, Ricardo
kozmate.net wrote:
> Or is that " " supposed to be something other than a \x20 space?
Checking the actual definition of the default trim set, it's supposed to
be an indication of a NUL character (\u0000). Apparently, when the docs
were updated, the author didn't know that \0 means something special to
nroff, so the NUL indication they put in produces a space... which is
exactly what was confusing you.
Updated so that it will display as "\0". Website will be updated the
next time a build of the docs is pushed.
Donal.
--
Donal Fellows — Tcl user, Tcl maintainer, TIP editor.