Le 04/12/2015 13:19, Jean-Marc Lasgouttes a écrit :
Le 04/12/2015 13:46, Guillaume Munch a écrit :
Please use the same cross that is used for the branch inset. It looks
like a good idea to have the same symbol in both places.
Good idea. I did not realise (although I knew...) that ✖ was already
used for branches. Here's a patch (more details in the commit log).
Can I commit this trivial patch?
It looks OK to me.
Thanks.
Note that for selecting symbols, we should check in
what unicode version they were introduced.
The failing symbols were version 6 (negative cross) and 3 (reversed
pilcrow). The new symbols are all at most unicode 1.1. I am not sure
that we can make a rule out of this.