Add tooltips to connectives with description

normativeai / frontend

GNU General Public License v3.0

5 stars 3 forks source link

Add tooltips to connectives with description #58

Closed shaolintl closed 5 years ago

shaolintl commented 5 years ago

The information from the server about the connectives now contain also the field description. It would be nice to see it when hovering with the mouse over the connective.