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

Provide filter by multi tag as proposed feature in Developer Guide #112

Closed
Yehezkiel01 opened this issue Oct 22, 2019 · 0 comments · Fixed by #140
Closed

Provide filter by multi tag as proposed feature in Developer Guide #112

Yehezkiel01 opened this issue Oct 22, 2019 · 0 comments · Fixed by #140
Assignees
@shiweing @Yehezkiel01
Labels
type.Task Something that needs to be done, but not a story, bug, or an epic. e.g. Move testing code into a new
Milestone
v1.3

Comments

@Yehezkiel01
Copy link

Proposed ways:

  • Union of filter by single tag queries (Current choice)
  • Query the taglist everytime we filter a note
@Yehezkiel01 Yehezkiel01 added the type.Task Something that needs to be done, but not a story, bug, or an epic. e.g. Move testing code into a new label Oct 22, 2019
@Yehezkiel01 Yehezkiel01 added this to the v1.3 milestone Oct 22, 2019
@Yehezkiel01 Yehezkiel01 self-assigned this Oct 22, 2019
@nus-se-bot nus-se-bot mentioned this issue Oct 25, 2019
Closed
23 tasks
@shiweing shiweing self-assigned this Oct 29, 2019
This was referenced Oct 29, 2019
Closed
Merged
@nus-se-bot nus-se-bot mentioned this issue Oct 31, 2019
Closed
27 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shiweing shiweing

@Yehezkiel01 Yehezkiel01

Labels
type.Task Something that needs to be done, but not a story, bug, or an epic. e.g. Move testing code into a new
Projects
None yet
Milestone
v1.3
Development

Successfully merging a pull request may close this issue.

Implement note filtering shiweing/main
2 participants
@shiweing @Yehezkiel01