search

brownplt / pyret-docs

The documentation for Pyret.
9 stars 18 forks source link

Search #34

Closed jpolitz closed 4 years ago

jpolitz commented 6 years ago

Now that we have a glossary/index, searching seems more feasible. Adding a fuzzy-matching search textbox at the top of this page could go a long way:

https://www.pyret.org/docs/latest/Glossary.html

jpolitz commented 6 years ago

Hooray for incremental improvements! @blerner added the Glossary and then @sorawee made the search happen. Nice job making things better over time :-)

blerner commented 4 years ago

I think this is fixed and closed...