Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add tooltips to production statistics #12820 #13007
Initially I wanted to do it per icon, but there is only 1 widget - ScrollItem for all icons so I couldn't reuse standard Widget tooltips. I need to check how it is done for prod. palette.
IMO it isn't, because this then behaves differently to other tooltips, which act on a single item. It also means that observers miss out on potentially useful information.
This will be even more noticable once we resurrect and merge #13023, making the production rows larger.
This looks good overall. Just a couple of requests:
Looks great now, just noticed one last minor issue: