org.gnu.gnome.event
Class DruidPageChangeEvent

java.lang.Object
  org.gnu.gtk.event.GtkEvent
      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.