public class RenderManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.awt.Image |
image |
private boolean |
isDirty |
private GeometryEditPanel |
panel |
private javax.swing.Timer |
repaintTimer |
private RendererSwingWorker |
worker |
Constructor and Description |
---|
RenderManager(GeometryEditPanel panel) |
Modifier and Type | Method and Description |
---|---|
void |
componentResized() |
void |
copyImage(java.awt.Graphics g) |
private java.awt.Image |
createPanelImage(javax.swing.JPanel panel) |
void |
erase(java.awt.Image image) |
private void |
initImage() |
private void |
paintPanel() |
void |
render() |
void |
setDirty(boolean isDirty) |
private GeometryEditPanel panel
private RendererSwingWorker worker
private java.awt.Image image
private boolean isDirty
private javax.swing.Timer repaintTimer
public RenderManager(GeometryEditPanel panel)
public void setDirty(boolean isDirty)
public void componentResized()
public void render()
private void initImage()
private java.awt.Image createPanelImage(javax.swing.JPanel panel)
public void erase(java.awt.Image image)
public void copyImage(java.awt.Graphics g)
private void paintPanel()