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

[suggestion] search on doc site #1253

Closed
ShaneBeee opened this issue May 11, 2018 · 4 comments
Closed

[suggestion] search on doc site #1253

ShaneBeee opened this issue May 11, 2018 · 4 comments
Labels
completed The issue has been fully resolved and the change will be in the next Skript update. documentation Related to Skript's official documentation. enhancement Feature request, an issue about something that could be improved, or a PR improving something. priority: lowest "Nice to have" updates that are not required (tiny low impact bug fixes or QoL enhancements).

Comments

@ShaneBeee
Copy link
Contributor

Hi @bensku

I would just like to suggest adding a search function on your doc site if you can. I find a few times I dont know where to look exactly, and i feel like im a semi-smart skripter, but this may be SUPER helpful for all the skripters who have no clue whether to look for an event/expression/effect/etc

Thanks for reading :)
@TheBentoBox
Copy link
Member

Not a bad idea. Just in case you don't know, you can do CTRL + F on a web page to open up a search bar which lets you type to find instances of the text you enter on the page. Could help you in the future!

@TheBentoBox TheBentoBox added enhancement Feature request, an issue about something that could be improved, or a PR improving something. documentation Related to Skript's official documentation. priority: lowest "Nice to have" updates that are not required (tiny low impact bug fixes or QoL enhancements). labels May 11, 2018
@ShaneBeee
Copy link
Contributor Author

Oh yeah, I already do that, but i just meant for the odd times when you are looking for something and dont know which section to look in.

@bensku
Copy link
Member

bensku commented May 12, 2018

Docs site needs some polishing in general. Search across all pages could be implemented client-side usinh Javascript, perhaps.

@Olyno Olyno mentioned this issue Oct 3, 2019
Closed
8 tasks
@Olyno Olyno mentioned this issue Oct 13, 2019
Closed
6 tasks
@Olyno Olyno mentioned this issue Mar 12, 2020
Closed
4 tasks
@APickledWalrus APickledWalrus added the completed The issue has been fully resolved and the change will be in the next Skript update. label Aug 30, 2021
@APickledWalrus
Copy link
Member

Completed in #3935

@AyhamAl-Ali AyhamAl-Ali mentioned this issue Aug 30, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
completed The issue has been fully resolved and the change will be in the next Skript update. documentation Related to Skript's official documentation. enhancement Feature request, an issue about something that could be improved, or a PR improving something. 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
4 participants
@bensku @TheBentoBox @ShaneBeee @APickledWalrus