1 |
/* RepaintManager.java -- |
/* RepaintManager.java -- |
2 |
Copyright (C) 2002, 2004 Free Software Foundation, Inc. |
Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
508 |
{ |
{ |
509 |
// In order to keep the blocking of application threads minimal, we switch |
// In order to keep the blocking of application threads minimal, we switch |
510 |
// the invalidComponents field with the workInvalidComponents field and |
// the invalidComponents field with the workInvalidComponents field and |
511 |
// work wíth the workInvalidComponents field. |
// work with the workInvalidComponents field. |
512 |
synchronized(this) |
synchronized(this) |
513 |
{ |
{ |
514 |
ArrayList swap = invalidComponents; |
ArrayList swap = invalidComponents; |