Closes #110: Update notification filter buttons styling.

This commit is contained in:
Nicolas Perriault 2017-05-02 17:36:10 +02:00
parent 007179ba66
commit d130d684c9
No known key found for this signature in database
GPG Key ID: DA5E4C83904F7A2A

View File

@ -113,7 +113,7 @@ notificationFilterView filter =
button
[ class <|
if filter == event then
"btn btn-primary"
"btn btn-primary active"
else
"btn btn-default"
, title tooltip