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