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

Do not show name IDs in search results #58

Closed
dvglc opened this issue Aug 9, 2019 · 0 comments
Closed

Do not show name IDs in search results #58

dvglc opened this issue Aug 9, 2019 · 0 comments
Assignees
@dvglc
Labels
enhancement New feature or request search Issues concerning the search engine/interface
Milestone
v1.5

Comments

@dvglc
Copy link
Contributor

dvglc commented Aug 9, 2019

... although they should still be there in the snippets. Ideally, we would apply some regex to snippets immediately before being shown (that is, somewhere in sphinx:details()...).
@dvglc dvglc added the enhancement New feature or request label Aug 9, 2019
@dvglc dvglc added this to the v1.5 milestone Aug 9, 2019
@dvglc dvglc self-assigned this Aug 9, 2019
@dvglc dvglc closed this as completed in dde8524 Sep 26, 2019
@awagner-mainz awagner-mainz added the search Issues concerning the search engine/interface label Oct 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dvglc dvglc

Labels
enhancement New feature or request search Issues concerning the search engine/interface
Projects
None yet
Milestone
v1.5
Development

No branches or pull requests
2 participants
@awagner-mainz @dvglc