search

DominikPeters / tikz.dev-issues

Feedback, suggestions, and bug reports for tikz.dev
1 stars 0 forks source link

Algolia DocSearch customization to search for symbols possible? #37

Open user202729 opened 3 months ago

user202729 commented 3 months ago

It would be nice if searching for -- would go to https://tikz.dev/tikz-paths#pgf.-- .