Parent Directory | Revision Log | Patch
revision 1.16 by tromey, Tue Apr 26 18:56:19 2005 UTC | revision 1.17 by rabbit78, Fri Jun 3 14:36:55 2005 UTC | |
---|---|---|
# | Line 498 public class BasicListUI extends ListUI | Line 498 public class BasicListUI extends ListUI |
498 | void damageLayout() | void damageLayout() |
499 | { | { |
500 | updateLayoutStateNeeded = 1; | updateLayoutStateNeeded = 1; |
501 | list.revalidate(); | if (list != null) |
502 | list.revalidate(); | |
503 | } | } |
504 | ||
505 | /** | /** |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |