761 |
super.paint(g); |
super.paint(g); |
762 |
// Visit heavyweights as well, in case they were |
// Visit heavyweights as well, in case they were |
763 |
// erased when we cleared the background for this container. |
// erased when we cleared the background for this container. |
764 |
visitChildren(g, GfxPaintVisitor.INSTANCE, false); |
visitChildren(g, GfxPaintVisitor.INSTANCE, true); |
765 |
} |
} |
766 |
|
|
767 |
/** |
/** |
785 |
{ |
{ |
786 |
if (getParent() == null) |
if (getParent() == null) |
787 |
super.update(g); |
super.update(g); |
788 |
|
else |
789 |
paint(g); |
paint(g); |
790 |
} |
} |
791 |
|
|
792 |
/** |
/** |