Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
GtkEvent
org.gnu.gnome.event.DruidPageChangeEvent
public class DruidPageChangeEvent
extends GtkEvent
DruidPage
widget.
Nested Class Summary | |
static class |
|
Constructor Summary | |
|
Method Summary | |
boolean |
public DruidPageChangeEvent(Object source, DruidPageChangeEvent.Type type)
Creates a new DruidPageChangeEvent. This is used internally by java-gnome. Users only have to deal with listeners.
public boolean isOfType(DruidPageChangeEvent.Type aType)
- Returns:
- True if the type of this event is the same as that stated.