Changes between Initial Version and Version 5 of Ticket #3307


Ignore:
Timestamp:
Jul 7, 2017, 7:59:23 PM (7 years ago)
Author:
elexis
Comment:

I'm not sure anymore whether displaying a different playername for every client is a good idea, because the names will be referenced in the players chat!

However the same change will be needed if we want to display a different name from the simulation (f.e. include the rating in the name without saving the rating in the name) or if we want to call escapeText everywhere.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3307

    • Property Priority Should HaveIf Time Permits
    • Property Summary Translate botnames correctlyTranslate botnames in the GUI of every client