1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-06-27 16:36:03 +00:00

CSM: Fix duplicate player names (#13910)

This commit is contained in:
SmallJoker 2023-10-22 15:31:29 +02:00 committed by GitHub
parent 3491509b21
commit 2fbf5f4250
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 18 additions and 19 deletions

View file

@ -575,7 +575,7 @@ void ChatPrompt::historyNext()
}
}
void ChatPrompt::nickCompletion(const std::list<std::string>& names, bool backwards)
void ChatPrompt::nickCompletion(const std::set<std::string> &names, bool backwards)
{
// Two cases:
// (a) m_nick_completion_start == m_nick_completion_end == 0