/* (non-Javadoc)
* @see javax.swing.JComponent#paintComponent(java.awt.Graphics)
*/
protected void paintComponent(Graphics arg0) {
// long time1 = System.currentTimeMillis();
try {
super.paintComponent(arg0);
if (this.isOpaque()) {
Rectangle clipBounds = arg0.getClipBounds();
arg0.setColor(this.getBackground());
arg0.fillRect(clipBounds.x, clipBounds.y, clipBounds.width, clipBounds.height);
}
this.rblock.paint(arg0);
// Paint FrameContext selection
RenderablePoint start = this.startSelection;
RenderablePoint end = this.endSelection;
if (start != null && end != null && !start.equals(end)) {
this.rblock.paintSelection(arg0, false, start, end);
}
} finally {
// long time2 = System.currentTimeMillis();
// System.out.println("NonScrollableHtmlPanel.paintComponent(): numRenderables=" +
// numRenderables + ",time=" + (time2 - time1) + " ms.");
}
}
public boolean isSelectionAvailable() {
RenderablePoint start = this.startSelection;
RenderablePoint end = this.endSelection;
return start != null && end != null && !start.equals(end);
}
