- 16 Aug, 2017 8 commits
- 15 Aug, 2017 5 commits
- 09 Aug, 2017 13 commits
- 08 Aug, 2017 5 commits
- 22 Jul, 2017 2 commits
- 21 Jul, 2017 7 commits
Also, declare it in the controlbox plugin, not in core, where it's not used.
Instead of checking if there's a scrollbar. Otherwise the filter disappears when all groups are collapsed.