private void paintSelection(RenderingContext c, List lines) { if (c.getOutputDevice().isSupportsSelection()) { for (Iterator i = lines.iterator(); i.hasNext();) { InlinePaintable paintable = (InlinePaintable) i.next(); if (paintable instanceof InlineLayoutBox) { ((InlineLayoutBox)paintable).paintSelection(c); } } } }
private void paintSelection(RenderingContext c, List lines) { if (c.getOutputDevice().isSupportsSelection()) { for (Iterator i = lines.iterator(); i.hasNext();) { InlinePaintable paintable = (InlinePaintable) i.next(); if (paintable instanceof InlineLayoutBox) { ((InlineLayoutBox)paintable).paintSelection(c); } } } }
public void paintBackground(RenderingContext c) { if (! isPaintsRootElementBackground()) { c.getOutputDevice().paintBackground(c, this); } }
public void paintBackground(RenderingContext c) { if (! isPaintsRootElementBackground()) { c.getOutputDevice().paintBackground(c, this); } }
private void paintInlineContent(RenderingContext c, List lines, BoxRangeLists rangeLists) { BoxRangeHelper helper = new BoxRangeHelper( c.getOutputDevice(), rangeLists.getInline()); for (int i = 0; i < lines.size(); i++) { helper.popClipRegions(c, i); helper.pushClipRegion(c, i); InlinePaintable paintable = (InlinePaintable)lines.get(i); paintable.paintInline(c); } helper.popClipRegions(c, lines.size()); }
BoxRangeHelper helper = new BoxRangeHelper(c.getOutputDevice(), rangeLists.getBlock()); for (int i = 0; i < blocks.size(); i++) { helper.popClipRegions(c, i); BlockBox box = (BlockBox)blocks.get(i); box.paintListMarker(c); helper.pushClipRegion(c, i); } helper.popClipRegions(c, blocks.size()); } private void paintReplacedElements(RenderingContext c, List blocks, BoxRangeLists rangeLists) {
BoxRangeHelper helper = new BoxRangeHelper(c.getOutputDevice(), rangeLists.getBlock()); for (int i = 0; i < blocks.size(); i++) { helper.popClipRegions(c, i); BlockBox box = (BlockBox)blocks.get(i); if (box.isReplaced()) { paintReplacedElement(c, box); } helper.pushClipRegion(c, i); } helper.popClipRegions(c, blocks.size()); } private void positionFixedLayer(RenderingContext c) {
private void paintReplacedElements(RenderingContext c, List blocks, BoxRangeLists rangeLists) { BoxRangeHelper helper = new BoxRangeHelper(c.getOutputDevice(), rangeLists.getBlock()); for (int i = 0; i < blocks.size(); i++) { helper.popClipRegions(c, i); BlockBox box = (BlockBox)blocks.get(i); if (box.isReplaced()) { paintReplacedElement(c, box); } helper.pushClipRegion(c, i); } helper.popClipRegions(c, blocks.size()); }
private void paintRootElementBackground(RenderingContext c, PaintingInfo pI) { Dimension marginCorner = pI.getOuterMarginCorner(); Rectangle canvasBounds = new Rectangle(0, 0, marginCorner.width, marginCorner.height); canvasBounds.add(c.getViewportRectangle()); c.getOutputDevice().paintBackground(c, getStyle(), canvasBounds, canvasBounds); }
private void paintRootElementBackground(RenderingContext c, PaintingInfo pI) { Dimension marginCorner = pI.getOuterMarginCorner(); Rectangle canvasBounds = new Rectangle(0, 0, marginCorner.width, marginCorner.height); canvasBounds.add(c.getViewportRectangle()); c.getOutputDevice().paintBackground(c, getStyle(), canvasBounds, canvasBounds, null); }
public void paintBackground(RenderingContext c, int additionalClearance, short mode) { Rectangle bounds; if (mode == Layer.PAGED_MODE_SCREEN) { bounds = getScreenPaintingBounds(c, additionalClearance); } else { bounds = getPrintPaintingBounds(c); } c.getOutputDevice().paintBackground(c, getStyle(), bounds, bounds); }
public void paintBorder(RenderingContext c, int additionalClearance, short mode) { int top = 0; if (mode == Layer.PAGED_MODE_SCREEN) { top = getPaintingTop(); } c.getOutputDevice().paintBorder(c, getStyle(), getBorderEdge(additionalClearance, top, c), BorderPainter.ALL); }
public void paintBorder(RenderingContext c, int additionalClearance, short mode) { int top = 0; if (mode == Layer.PAGED_MODE_SCREEN) { top = getPaintingTop(); } c.getOutputDevice().paintBorder(c, getStyle(), getBorderEdge(additionalClearance, top, c), BorderPainter.ALL); }
private static void drawText(RenderingContext c, BlockBox box, IdentValue listStyle) { MarkerData.TextMarker text = box.getMarkerData().getTextMarker(); int x = getReferenceX(c, box); x += -text.getLayoutWidth(); int y = getReferenceBaseline(c, box); c.getOutputDevice().setColor(box.getStyle().getColor()); c.getOutputDevice().setFont(box.getStyle().getFSFont(c)); c.getTextRenderer().drawString( c.getOutputDevice(), text.getText(), x, y); } }
private static void drawText(RenderingContext c, BlockBox box, IdentValue listStyle) { MarkerData.TextMarker text = box.getMarkerData().getTextMarker(); int x = getReferenceX(c, box); x += -text.getLayoutWidth(); int y = getReferenceBaseline(c, box); c.getOutputDevice().setColor(box.getStyle().getColor()); c.getOutputDevice().setFont(box.getStyle().getFSFont(c)); c.getTextRenderer().drawString( c.getOutputDevice(), text.getText(), x, y); } }
private void ensureGlyphPositions(RenderingContext c) { if (_glyphPositions == null) { FSGlyphVector glyphVector = c.getTextRenderer().getGlyphVector( c.getOutputDevice(), getParent().getStyle().getFSFont(c), getSubstring()); _glyphPositions = c.getTextRenderer().getGlyphPositions( c.getOutputDevice(), getParent().getStyle().getFSFont(c), glyphVector); } }
public void paintBackground(RenderingContext c, int additionalClearance, short mode) { Rectangle bounds; if (mode == Layer.PAGED_MODE_SCREEN) { bounds = getScreenPaintingBounds(c, additionalClearance); } else { bounds = getPrintPaintingBounds(c); } c.getOutputDevice().paintBackground(c, getStyle(), bounds, bounds, getStyle().getBorder(c)); }
public void paintBackground(RenderingContext c) { if (_contentLimitContainer == null) { super.paintBackground(c); } else if (getStyle().isVisible()) { c.getOutputDevice().paintBackground( c, getStyle(), getContentLimitedBorderEdge(c), getPaintingBorderEdge(c)); } }
public void paintBorder(RenderingContext c) { if (_contentLimitContainer == null) { super.paintBorder(c); } else if (getStyle().isVisible()) { c.getOutputDevice().paintBorder(c, getStyle(), getContentLimitedBorderEdge(c), getBorderSides()); } }
public void paintBorder(RenderingContext c) { if (_contentLimitContainer == null) { super.paintBorder(c); } else if (getStyle().isVisible()) { c.getOutputDevice().paintBorder(c, getStyle(), getContentLimitedBorderEdge(c), getBorderSides()); } }