diff options
| author | Thomas Fitzsimmons <fitzsim@redhat.com> | 2005-07-26 20:41:38 +0000 |
|---|---|---|
| committer | Thomas Fitzsimmons <fitzsim@redhat.com> | 2005-07-26 20:41:38 +0000 |
| commit | b5ca873105bddc68b5d68002787d5280fdffce63 (patch) | |
| tree | 5dfd4e2c64f1b7a3326d9dd4fae0d81225bbb68d /gnu | |
| parent | 2a4ea9dadd80b0dff304aa87073e12fa2da69c8f (diff) | |
| download | classpath-b5ca873105bddc68b5d68002787d5280fdffce63.tar.gz | |
2005-07-26 Thomas Fitzsimmons <fitzsim@redhat.com>
* gnu/java/awt/peer/gtk/GtkComponentPeer.java (repaintTimer): Make
daemon thread.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/java/awt/peer/gtk/GtkComponentPeer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/java/awt/peer/gtk/GtkComponentPeer.java b/gnu/java/awt/peer/gtk/GtkComponentPeer.java index 7646425ad..a7aea091d 100644 --- a/gnu/java/awt/peer/gtk/GtkComponentPeer.java +++ b/gnu/java/awt/peer/gtk/GtkComponentPeer.java @@ -85,7 +85,7 @@ public class GtkComponentPeer extends GtkGenericPeer boolean isInRepaint; - Timer repaintTimer = new Timer(); + Timer repaintTimer = new Timer (true); /* this isEnabled differs from Component.isEnabled, in that it knows if a parent is disabled. In that case Component.isEnabled |