org.gnu.gnome.event
org.gnome.vte
public class DruidPageChangeEvent extends org.gnu.gtk.event.GtkEvent
DruidPage
widget.Modifier and Type | Class and Description |
---|---|
static class |
DruidPageChangeEvent.Type
Deprecated.
Superceeded by java-gnome 4.0; as signal handling are
implemented differently, you will need to reimplement any
code using these callbacks.
|
Constructor and Description |
---|
DruidPageChangeEvent(java.lang.Object source,
DruidPageChangeEvent.Type type)
Deprecated.
Superceeded by java-gnome 4.0; as signal handling are
implemented differently, you will need to reimplement any
code using these callbacks.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isOfType(DruidPageChangeEvent.Type aType)
Deprecated.
Superceeded by java-gnome 4.0; as signal handling are
implemented differently, you will need to reimplement any
code using these callbacks.
|
public DruidPageChangeEvent(java.lang.Object source, DruidPageChangeEvent.Type type)
public boolean isOfType(DruidPageChangeEvent.Type aType)