Tags filtering - #12

Merged

gpetretto merged 7 commits into

gp/tags_simplefrom

dw/tags_filtering

Jul 17, 2026

Commits on Jul 15, 2026

Filtering for tags
davidwaroquiers
committed
897f3a4
Simplified filtering.
davidwaroquiers
committed
cf5d094
Reviewed changes.
davidwaroquiers
committed
51c25b5
More design.
davidwaroquiers
committed
d523180

Commits on Jul 16, 2026

Fix hover when popover is opened.
davidwaroquiers
committed
fffa9f4
Reviewed changes.
davidwaroquiers
committed
f5fd7b7
Fixed tag search with many tags.
davidwaroquiers
committed
2e28639