309 |
public synchronized void addDirtyRegion(JComponent component, int x, int y, |
public synchronized void addDirtyRegion(JComponent component, int x, int y, |
310 |
int w, int h) |
int w, int h) |
311 |
{ |
{ |
312 |
|
if (w == 0 || h == 0) |
313 |
|
return; |
314 |
|
|
315 |
Rectangle r = new Rectangle(x, y, w, h); |
Rectangle r = new Rectangle(x, y, w, h); |
316 |
if (dirtyComponents.containsKey(component)) |
if (dirtyComponents.containsKey(component)) |
317 |
r = r.union((Rectangle)dirtyComponents.get(component)); |
r = r.union((Rectangle)dirtyComponents.get(component)); |