org.gnu.gnomevte.event
Class TerminalEvent

java.lang.Object
  org.gnu.gtk.event.GtkEvent
      org.gnu.gnomevte.event.TerminalEvent

All Implemented Interfaces:

java.io.Serializable

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

An event representing an action by a Terminal widget. This event is fired for every generic event that requires no exra information.

See Also:

Serialized Form

Nested Class Summary

static class

TerminalEvent.Type Type of a TerminalEvent.

Field Summary

Fields inherited from class org.gnu.gtk.event.GtkEvent

source, type

Constructor Summary

TerminalEvent(java.lang.Object source, org.gnu.glib.EventType type)
Constructor for TerminalEvent.

Method Summary

boolean

isOfType(TerminalEvent.Type aType) This method compares the type of the current event to the one provided as an argument.

Methods inherited from class org.gnu.gtk.event.GtkEvent

getSource, getType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TerminalEvent

public TerminalEvent(java.lang.Object source,
                     org.gnu.glib.EventType type)

Constructor for TerminalEvent.

Parameters:

source - the source of the event.

type - the event type.

Method Detail

isOfType

public boolean isOfType(TerminalEvent.Type aType)

This method compares the type of the current event to the one provided as an argument.

Parameters:

aType - the type to compare to.

Returns:

true if the events are of same type.