removed redundant code for selecting font color for player name

[rocksndiamonds.git] / docs / elements / prev_ce.txt

If you use this reference element, it will be replaced by the custom element
that is at an earlier position in the element list (with the distance as shown
by the reference element).