1918 |
g2 = getComponentGraphics(g2); |
g2 = getComponentGraphics(g2); |
1919 |
g2.setClip(r.x, r.y, r.width, r.height); |
g2.setClip(r.x, r.y, r.width, r.height); |
1920 |
isPaintingDoubleBuffered = true; |
isPaintingDoubleBuffered = true; |
1921 |
paint(g2); |
try |
1922 |
isPaintingDoubleBuffered = false; |
{ |
1923 |
g2.dispose(); |
paint(g2); |
1924 |
|
} |
1925 |
|
finally |
1926 |
|
{ |
1927 |
|
isPaintingDoubleBuffered = false; |
1928 |
|
g2.dispose(); |
1929 |
|
} |
1930 |
|
|
1931 |
// Paint the buffer contents on screen. |
// Paint the buffer contents on screen. |
1932 |
g.drawImage(buffer, 0, 0, this); |
g.drawImage(buffer, 0, 0, this); |