1 |
/* GtkWindowPeer.java -- Implements WindowPeer with GTK |
/* GtkWindowPeer.java -- Implements WindowPeer with GTK |
2 |
Copyright (C) 1998, 1999 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2002 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
105 |
|| insets.bottom != bottom |
|| insets.bottom != bottom |
106 |
|| insets.right != right) |
|| insets.right != right) |
107 |
{ |
{ |
|
System.out.println ("invalidating"); |
|
108 |
awtComponent.invalidate (); |
awtComponent.invalidate (); |
109 |
} |
} |
110 |
|
|