Skip to content

Autocomplete for player names and case insensitive chat mentions #113

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Jed- wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Autocomplete for player names and case insensitive chat mentions #113

Jed- wants to merge 2 commits into from

Conversation

@Jed-
Copy link
Contributor

@Jed- Jed- commented Dec 15, 2025 •
edited
Loading

  • Chat mentions are now case insensitive
  • Underscores must be used in order to match a name that contains spaces
  • Player names can be auto-completed by typing '@' in the command line and pressing TAB

Closes #111

Jed- added 2 commits December 15, 2025 13:19
@Jed-
Case insensitive chat mentions
972262d 
Require underscores in order to match names that contain spaces (the @mention must be a single word)
@Jed-
Autocompletion for player names
d0eae09
@Jed- Jed- requested a review from garsipal December 15, 2025 17:20
@garsipal garsipal added enhancement New feature or aesthetic improvement QoL Feels good labels Jan 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@garsipal garsipal Awaiting requested review from garsipal

Assignees

No one assigned

Labels

enhancement New feature or aesthetic improvement QoL Feels good

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add autocomplete for player mentions

2 participants

@Jed- @garsipal