removed redundant code for selecting font color for player name

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

This can be used in custom element programming to refer to the player
who triggered the change being processed.
Don't use this element directly in your level.