org.gnu.gnomevte.event
Class TextScrolledEvent

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

All Implemented Interfaces:

java.io.Serializable

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

An event representing a text scrolled action by a Terminal widget. An internal event used for communication between the terminal and its accessibility peer. May not be emitted under certain circumstances.

See Also:

Serialized Form

Nested Class Summary

static class

TextScrolledEvent.Type Type of a TerminalEvent.

Field Summary

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

source, type

Constructor Summary

TextScrolledEvent(java.lang.Object source, org.gnu.glib.EventType type, int scrollDelta)
Constructor for TerminalTextScrolledEvent.

Method Summary

int	getScrollDelta() Gets the scroll delta.
boolean	isOfType(TextScrolledEvent.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

TextScrolledEvent

public TextScrolledEvent(java.lang.Object source,
                         org.gnu.glib.EventType type,
                         int scrollDelta)

Constructor for TerminalTextScrolledEvent.

Parameters:

source - the source of the event.

type - the event type.

scrollDelta - the scroll delta.

Method Detail

isOfType

public boolean isOfType(TextScrolledEvent.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.

getScrollDelta

public int getScrollDelta()

Gets the scroll delta.

Returns:

the scroll delta.