if (!outputDevice.isFastRenderer()) { old_clip = outputDevice.getClip(); if(old_clip != null) { if (!outputDevice.isFastRenderer()) { outputDevice.setClip(old_clip); } else {
public void paintMarginAreas(RenderingContext c, int additionalClearance, short mode) { for (int i = 0; i < MARGIN_AREA_DEFS.length; i++) { MarginAreaContainer container = _marginAreas[i]; if (container != null) { currentMarginAreaContainer = container; TableBox table = _marginAreas[i].getTable(); Point p = container.getArea().getPaintingPosition( c, this, additionalClearance, mode); c.getOutputDevice().translate(p.x, p.y); if (c.getOutputDevice().isFastRenderer()) { table.getLayer().propagateCurrentTransformationMatrix(c); SimplePainter painter = new SimplePainter(p.x, p.y); painter.paintLayer(c, table.getLayer()); } else { table.getLayer().paint(c); } c.getOutputDevice().translate(-p.x, -p.y); } } currentMarginAreaContainer = null; }