Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
I want a widget for turning on/off filtering #65
changed the title from
Add a widget for turning on/off filtering
I want a widget for turning on/off filtering
Feb 26, 2018
This comment has been minimized.
This comment has been minimized.Show comment Hide comment