38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.AWTEvent; |
42 |
import java.awt.Panel; |
import java.awt.Panel; |
43 |
|
import java.awt.event.MouseEvent; |
44 |
import java.awt.peer.PanelPeer; |
import java.awt.peer.PanelPeer; |
45 |
|
|
46 |
public class GtkPanelPeer extends GtkContainerPeer |
public class GtkPanelPeer extends GtkContainerPeer |
53 |
{ |
{ |
54 |
super (p); |
super (p); |
55 |
} |
} |
56 |
|
|
57 |
|
public void handleEvent (AWTEvent event) |
58 |
|
{ |
59 |
|
int id = event.getID(); |
60 |
|
|
61 |
|
switch (id) |
62 |
|
{ |
63 |
|
case MouseEvent.MOUSE_PRESSED: |
64 |
|
awtComponent.requestFocusInWindow (); |
65 |
|
break; |
66 |
|
} |
67 |
|
super.handleEvent (event); |
68 |
|
} |
69 |
} |
} |