Hello everyone, I am making study notes with scrrible. I hope the notes can be searched, just like Racket documents. How to do that?
The search box appears when you are use
Note that the search is not a full-text search.
I've been using #lang scribble/manual, but I've never seen the search box.
Do you want me to take a screenshot to show you?
It's not as wasy as I remembered it:
Thanks to your kindness and thanks to the community, this problem is solved