org.gnu.gnome.event

Class DruidPageChangeEvent


public class DruidPageChangeEvent
extends GtkEvent

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

Nested Class Summary

static class
DruidPageChangeEvent.Type
Type of a DruidPageChangeEvent

Constructor Summary

DruidPageChangeEvent(Object source, DruidPageChangeEvent.Type type)
Creates a new DruidPageChangeEvent.

Method Summary

boolean
isOfType(DruidPageChangeEvent.Type aType)

Constructor Details

DruidPageChangeEvent

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.

Method Details

isOfType

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