Context: JabRef groups - see https://docs.jabref.org/finding-sorting-and-cleaning-entries/groups for a longer explanation.
One can search for groups in the side pane. When entering two group names separated by a space, JabRef should match group strings containing any of these words. (Currently, it requires ALL words to be present)
Task:
- Investigate if
Search.g4 can be used here, too.
- Re-implement the search using that grammar here
Refs #10209 somehow
Context: JabRef groups - see https://docs.jabref.org/finding-sorting-and-cleaning-entries/groups for a longer explanation.
One can search for groups in the side pane. When entering two group names separated by a space, JabRef should match group strings containing any of these words. (Currently, it requires ALL words to be present)
Task:
Search.g4can be used here, too.Refs #10209 somehow