jpicedt.ui.util

Class DebugRepaintManager

java.lang.Object

javax.swing.RepaintManager

jpicedt.ui.util.DebugRepaintManager

public class DebugRepaintManager
extends javax.swing.RepaintManager

A RepaintManager that may used for debugging purpose

Print out information about adding and/or painting dirty regions
How to use it :
- Set DEBUG_PAINTING to TRUE in JPicEdt.java
- launch jpicedt with "-redir=standard"

Constructor Summary

Constructors

Constructor and Description
DebugRepaintManager() creates a new DebugRepaintManager with double-buffering turned off

Method Summary

Modifier and Type	Method and Description
void	addDirtyRegion(javax.swing.JComponent c, int x, int y, int w, int h) Add a component in the list of components that should be refreshed.
void	paintDirtyRegions() Paint all of the components that have been marked dirty.

Methods inherited from class javax.swing.RepaintManager

addDirtyRegion, addDirtyRegion, addInvalidComponent, currentManager, currentManager, getDirtyRegion, getDoubleBufferMaximumSize, getOffscreenBuffer, getVolatileOffscreenBuffer, isCompletelyDirty, isDoubleBufferingEnabled, markCompletelyClean, markCompletelyDirty, removeInvalidComponent, setCurrentManager, setDoubleBufferingEnabled, setDoubleBufferMaximumSize, toString, validateInvalidComponents

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DebugRepaintManager

public DebugRepaintManager()

creates a new DebugRepaintManager with double-buffering turned off

Method Detail

addDirtyRegion

public void addDirtyRegion(javax.swing.JComponent c,
                           int x,
                           int y,
                           int w,
                           int h)

Add a component in the list of components that should be refreshed. If c already has a dirty region, the rectangle (x,y,w,h) will be unioned with the region that should be redrawn.

Overrides:

addDirtyRegion in class javax.swing.RepaintManager

paintDirtyRegions

public void paintDirtyRegions()

Paint all of the components that have been marked dirty.

Overrides:

paintDirtyRegions in class javax.swing.RepaintManager