Parent Directory | Revision Log | Patch
revision 1.21 by mark, Fri Jul 30 23:16:58 2004 UTC | revision 1.21.2.1 by gnu_andrew, Fri Jan 14 10:24:04 2005 UTC | |
---|---|---|
# | Line 75 public class GtkDialogPeer extends GtkWi | Line 75 public class GtkDialogPeer extends GtkWi |
75 | ||
76 | protected void postExposeEvent (int x, int y, int width, int height) | protected void postExposeEvent (int x, int y, int width, int height) |
77 | { | { |
78 | q.postEvent (new PaintEvent (awtComponent, PaintEvent.PAINT, | if (!isInRepaint) |
79 | new Rectangle (x + insets.left, | q.postEvent (new PaintEvent (awtComponent, PaintEvent.PAINT, |
80 | y + insets.top, | new Rectangle (x + insets.left, |
81 | width, height))); | y + insets.top, |
82 | } | width, height))); |
83 | } | |
84 | ||
85 | void create () | void create () |
86 | { | { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |