Adam Barth b96d1dfc24 Tab labels incorrectly fade out (#4391)
Assigning to `size` called our intrinsic sizing functions re-entrantly, which
is a destructive operation on TextPainter. Ideally we'd made that a
non-destructive operation, but in the meantime we can fix the tab fading issue
by grabbing the text size before assigning to `size`.

Fixes #4365
2016-06-06 14:00:57 -07:00
..
2016-05-20 16:59:09 -07:00