Closed jimivdw closed 9 years ago
I started fixing the tooltip position, ran into some other issues while I was doing that, and ended up including some graphical improvements I wanted to make for a while as well.
I started fixing the tooltip position, ran into some other issues while I was doing that, and ended up including some graphical improvements I wanted to make for a while as well.