blob: 21c42e49a7c4f761b17eddc88772c263ab17f16c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
/* Copyright (C) 2000 Free Software Foundation
This file is part of libjava.
This software is copyrighted work licensed under the terms of the
Libjava License. Please consult the file "LIBJAVA_LICENSE" for
details. */
package java.awt.event;
import java.awt.*;
/**
* @author Tom Tromey <tromey@cygnus.com>
* @date April 8, 2000
*/
/* Status: Believed complete and correct to JDK 1.2. */
public class PaintEvent extends ComponentEvent
{
public static final int PAINT = 800;
public static final int PAINT_FIRST = 800;
public static final int PAINT_LAST = 801;
public static final int UPDATE = 801;
public PaintEvent (Component source, int id, Rectangle updateRect)
{
super (source, id);
this.updateRect = updateRect;
}
public Rectangle getUpdateRect ()
{
return updateRect;
}
public String paramString ()
{
String r;
switch (id)
{
case UPDATE:
r = "UPDATE";
break;
case PAINT:
r = "PAINT";
break;
default:
r = "unknown id";
break;
}
r += ",updateRect=" + updateRect;
return r;
}
public void setUpdateRect (Rectangle updateRect)
{
this.updateRect = updateRect;
}
private Rectangle updateRect;
}
|
