Skip to content

Search for pdf#611

Merged
Konstiman merged 9 commits intodevfrom
search-pdf
Jan 12, 2022
Merged

Search for pdf#611
Konstiman merged 9 commits intodevfrom
search-pdf

Conversation

@Konstiman
Copy link
Copy Markdown
Contributor

Warning: this PR also contains all the changes from the PR #607 Do not merge this before reviewing and merging the previous PR.

This PR introduces the ability to search for "pdf" in the list search box. It filters all the open access documents.

Also a little search feature refactoring is included.

@Konstiman Konstiman merged commit 503f723 into dev Jan 12, 2022
@Konstiman Konstiman deleted the search-pdf branch January 26, 2022 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant