7879808182838485868788
} if (currentlyHovered != null) { needRepaint = true; Box target = box.getRestyleTarget(); target.restyle(c); if (targetedRepaint) { PaintingInfo paintInfo = target.getPaintingInfo(); if (paintInfo == null) {
8687888990919293949596
8788899091929394959697
} if (current != null) { needRepaint = true; Box target = box.getRestyleTarget(); target.restyle(c); if (targetedRepaint) { PaintingInfo paintInfo = target.getPaintingInfo(); if (paintInfo == null) {