Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve (sub-)type filtering #42
Currently, we only allow filtering by first-level types
One adjustment should be that the filter section adjusts when clicking on a type: Either the not-clicked first-level types shoud disappear (and the sub-types should be shown, see below) or the not-clicked types should be greyed out.
We should also enable filtering by the subtypes in these two ways:
We also have to think about another representation of the filters chosen when you have clicked on a "sub type". As there are different things adding up, maybe we should take a step back and think about a good usage concept of filtering by type and subtypes...