Stefan Otto 2a8d19ad56 fix: unread badge is number not bool

2018-07-18 11:34:30 +02:00

..

ToolArea.jsx

Style the unread message as a badge

2018-07-12 17:39:53 +02:00

ToolAreaButton.jsx

fix: unread badge is number not bool

2018-07-18 11:34:30 +02:00