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

add search engine #31

Open
furesoft opened this issue Jan 15, 2020 · 1 comment
Open

add search engine #31

furesoft opened this issue Jan 15, 2020 · 1 comment
Assignees
@waliarubal
Labels
enhancement New feature or request

Comments

@furesoft
Copy link

add a search engine with query syntax like

*.mp3 and creationdate > 20.01.2018
@waliarubal
Copy link
Owner

Interesting idea @furesoft , I will make search box functional and add documentation for plugin developers to support this syntax.

@waliarubal waliarubal added the enhancement New feature or request label Jan 20, 2020
waliarubal added a commit that referenced this issue Feb 3, 2020
@waliarubal
Added search query param to API. #31
92aab93
waliarubal added a commit that referenced this issue Feb 3, 2020
@waliarubal
minor changes for #31
17c0312
waliarubal added a commit that referenced this issue Feb 3, 2020
@waliarubal
Added search menu. #31
49d9b52
@waliarubal waliarubal self-assigned this Feb 4, 2020
waliarubal added a commit that referenced this issue Feb 4, 2020
@waliarubal
Added menu and ribbon for search. #31
d044847
waliarubal added a commit that referenced this issue Feb 4, 2020
@waliarubal
Added search toolbar and fixed search ribbon buttons. #31
c8dd969
waliarubal added a commit that referenced this issue Feb 4, 2020
@waliarubal
Some changes for #31.
7e4e284
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@waliarubal waliarubal

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@furesoft @waliarubal