662663664665666667668669670671672
TextUI ui = getUI(); if (ui != null) { // Not allowed to modify g, so make a copy. Graphics scratchGraphics = g.create(); try { ui.update(scratchGraphics, this); } finally { scratchGraphics.dispose(); } }
688689690691692693694695696697698
695696697698699700701702703704705
714715716717718719720721722723724