Closed chriswhong closed 5 years ago
This PR adds react-tooltip and implements simple tooltips for each glyph in the top bar. Tooltips are delayed, and show up after the user hovers for 1000ms.
react-tooltip
This PR adds
react-tooltip
and implements simple tooltips for each glyph in the top bar. Tooltips are delayed, and show up after the user hovers for 1000ms.