public void doLayout() {
this.removeAll();
HtmlLength[] rhl = this.rowHtmlLengths;
HtmlLength[] chl = this.colHtmlLengths;
Component[] fc = this.frameComponents;
if (rhl != null && chl != null && fc != null) {
Dimension size = this.getSize();
Insets insets = this.getInsets();
int width = size.width - insets.left - insets.right;
int height = size.height - insets.left - insets.right;
int[] colLengths = this.getAbsoluteLengths(chl, width);
int[] rowLengths = this.getAbsoluteLengths(rhl, height);
this.add(
this.getSplitPane(
this.htmlContext,
colLengths,
0,
colLengths.length,
rowLengths,
0,
rowLengths.length,
fc));
}
super.doLayout();
}
public void paint(Graphics g) {
if (g instanceof Graphics2D) {
Graphics2D g2 = (Graphics2D) g;
g2.setRenderingHint(
RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
}
super.paint(g);
}
/* (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 void invalidate() {
super.invalidate();
this.rblock.invalidate();
}