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 support for IP addresses in html_search #6667

Open

Mika64 opened this issue Aug 22, 2019 · 0 comments

Labels

type:enhancement

Milestone

some future version

Mika64 commented Aug 22, 2019

IP addresses never indexed in searchindex.js, so I never find it in documentations (because it's only digits, I think.).

Is it possible to add support for IP addresses in html_search ?

Mika64 added the type:enhancement label

AA-Turner added this to the some future version milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment