|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.ObjectGtkEvent
org.gnu.gnomevte.event.TextScrolledEvent
public class TextScrolledEvent
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.
| Nested Class Summary | |
|---|---|
static class |
TextScrolledEvent.Type
Type of a TerminalEvent. |
| Constructor Summary | |
|---|---|
TextScrolledEvent(java.lang.Object source,
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 java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public TextScrolledEvent(java.lang.Object source,
EventType type,
int scrollDelta)
source - the source of the event.type - the event type.scrollDelta - the scroll delta.| Method Detail |
|---|
public boolean isOfType(TextScrolledEvent.Type aType)
aType - the type to compare to.
true if the events are of same type.public int getScrollDelta()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||