Adding tooltips to column headers
fabiospampinato opened this issue · comments
It'd be useful to add explanatory tooltips to column headers in tables.
For example "Sev" I'm not really sure what it means, "severity" maybe? If so what does "Optimizations -> Sev 3" mean? And why isn't there also "Optimizations -> Sev1" and "Optimizations -> Sev2"?