Closed joshuaauerbachwatson closed 11 months ago
The player list currently marks the current player both with asterisks and by changing the text to italic.
The italic property does not get reset when the player previously marked as current becomes non-current.
When this is fixed, the screen image in the help should be re-generated. It currently shows the persistent italic problem.
The player list currently marks the current player both with asterisks and by changing the text to italic.
The italic property does not get reset when the player previously marked as current becomes non-current.
When this is fixed, the screen image in the help should be re-generated. It currently shows the persistent italic problem.