Skip to content
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

Add tablist search option to playerlist header footer #57

Open
EquipableMC opened this issue Nov 18, 2023 · 4 comments
Open

Add tablist search option to playerlist header footer #57

EquipableMC opened this issue Nov 18, 2023 · 4 comments
Labels
backend Issues that require backend code changes (java) enhancement Feature request, an issue about something that could be improved, or a PR improving something. good first issue Good for newcomers priority: lowest "Nice to have" updates that are not required (tiny low impact bug fixes or QoL enhancements).

Comments

@EquipableMC
Copy link

EquipableMC commented Nov 18, 2023 •
edited
Loading

https://docs.skriptlang.org/expressions.html?search=#ExprPlayerlistHeaderFooter this is missing a very important search option, tablist (pointed out by fusezion), the reason I say this is because this is also considered a tablist, so it would make sense if you lookup tablist on the docs and this would appear.
@UnderscoreTud UnderscoreTud added enhancement Feature request, an issue about something that could be improved, or a PR improving something. good first issue Good for newcomers priority: lowest "Nice to have" updates that are not required (tiny low impact bug fixes or QoL enhancements). labels Nov 18, 2023
@AyhamAl-Ali AyhamAl-Ali added the backend Issues that require backend code changes (java) label Nov 18, 2023
@Pikachu920
Copy link
Member

the keywords feature would be handy for this

@AyhamAl-Ali
Copy link
Member

the keywords feature would be handy for this

Indeed Pikachu 👌this is how it's supposed to be done if anyone is interested in taking over this ⚡

@EquipableMC
Copy link
Author

So when is this getting added exactly?

@Moderocky
Copy link
Member

So when is this getting added exactly?

Things don't just appear because people want them, somebody needs to contribute it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
backend Issues that require backend code changes (java) enhancement Feature request, an issue about something that could be improved, or a PR improving something. good first issue Good for newcomers priority: lowest "Nice to have" updates that are not required (tiny low impact bug fixes or QoL enhancements).
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@Moderocky @AyhamAl-Ali @Pikachu920 @EquipableMC @UnderscoreTud