Player Customization
Issue #18
new
It is proposed that utilities be added to customize the appearance of the player, such as by changing the color/background of various elements, and providing default arrows.
This is likely to be a major project, and subject to numerous "subissues" and amendments.