Add quick filters #134

Merged
raucao merged 3 commits from feature/quick_filter into master 2019-07-08 13:52:07 +00:00
raucao commented 2019-07-06 14:17:57 +00:00 (Migrated from github.com)

Adds a quick filter menu to contribution lists. It's hidden by default, and can be toggled on and off via the "filter" button in the top right:

Screenshot from 2019-07-06 16-18-50

Adds a quick filter menu to contribution lists. It's hidden by default, and can be toggled on and off via the "filter" button in the top right: ![Screenshot from 2019-07-06 16-18-50](https://user-images.githubusercontent.com/842/60757352-cc0c0380-a009-11e9-936a-d7b1457e6bf7.png)
galfert commented 2019-07-08 13:51:59 +00:00 (Migrated from github.com)

That's pretty dope.

That's pretty dope. ![](https://storage.5apps.com/galfert/public/shares/180518-0900-thumbs_up_randy_savage.gif)
bumi commented 2019-07-08 16:23:08 +00:00 (Migrated from github.com)

oh nice, that's great!

oh nice, that's great!
Sign in to join this conversation.