org.gnu.gnome.event
Class DruidPageChangeEvent

java.lang.Object
  extended by org.gnu.gtk.event.GtkEvent
      extended by org.gnu.gnome.event.DruidPageChangeEvent
All Implemented Interfaces:
java.io.Serializable

public class DruidPageChangeEvent
extends org.gnu.gtk.event.GtkEvent

An event represeting change of page actions by a DruidPage widget.

See Also:
Serialized Form

Nested Class Summary
static class DruidPageChangeEvent.Type
          Type of a DruidPageChangeEvent
 
Constructor Summary
DruidPageChangeEvent(java.lang.Object source, DruidPageChangeEvent.Type type)
          Creates a new DruidPageChangeEvent.
 
Method Summary
 boolean isOfType(DruidPageChangeEvent.Type aType)
           
 
Methods inherited from class org.gnu.gtk.event.GtkEvent
getSource, getType, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DruidPageChangeEvent

public DruidPageChangeEvent(java.lang.Object source,
                            DruidPageChangeEvent.Type type)
Creates a new DruidPageChangeEvent. This is used internally by java-gnome. Users only have to deal with listeners.

Method Detail

isOfType

public boolean isOfType(DruidPageChangeEvent.Type aType)
Returns:
True if the type of this event is the same as that stated.