This PR adds support for multiple choice filters, for example it's possible to filter work items of [Project1 or Project2], or filter the pull requests assigned to [User1 or User2 or User3].
This is done by adding a FilterMenu.multiple constructor that accepts a Set<T> of values, which can be toggled with a checkbox. There's also a 'Toggle all' handy checkbox at the top of the list and a 'Confirm' button to apply the filters.
All the apis that previously accepted a single T filter now accept a Set<T> of filters, and depending on the specific api the filters are implemented either by adding filters to a single api call or by doing an api call for each filter.
This PR adds support for multiple choice filters, for example it's possible to filter work items of [Project1 or Project2], or filter the pull requests assigned to [User1 or User2 or User3].
This is done by adding a
FilterMenu.multipleconstructor that accepts aSet<T>of values, which can be toggled with a checkbox. There's also a 'Toggle all' handy checkbox at the top of the list and a 'Confirm' button to apply the filters.All the apis that previously accepted a single
Tfilter now accept aSet<T>of filters, and depending on the specific api the filters are implemented either by adding filters to a single api call or by doing an api call for each filter.