org.gnu.gnomevte.event
Class TerminalEvent.Type

java.lang.Object
  extended by EventType
      extended by org.gnu.gnomevte.event.TerminalEvent.Type
Enclosing class:
TerminalEvent

public static class TerminalEvent.Type
extends EventType

Type of a TerminalEvent.


Field Summary
static TerminalEvent.Type CHILD_EXITED
          Emitted when the terminal detects that a child started using Terminal.forkCommand(java.lang.String, java.lang.String[], java.lang.String, boolean, boolean, boolean) has exited.
static TerminalEvent.Type CONTENTS_CHANGED
          Emitted whenever the visible appearance of the terminal has changed.
static TerminalEvent.Type CURSOR_MOVED
          Emitted whenever the cursor moves to a new character cell.
static TerminalEvent.Type DECREASE_FONT_SIZE
          Emitted when the user hits the '-' key while holding the Control key.
static TerminalEvent.Type DEICONIFY_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type EMULATION_CHANGED
          Emitted when the terminal emulation changes.
static TerminalEvent.Type ENCODING_CHANGED
          Emitted when the encoding of the terminal changes.
static TerminalEvent.Type EOF
          Emitted when an End_Of_File is issued to the terminal.
static TerminalEvent.Type ICON_TITLE_CHANGED
          Emitted when the terminal's icon_title field is modified.
static TerminalEvent.Type ICONIFY_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type INCREASE_FONT_SIZE
          Emitted when the user hits the '+' key while holding the Control key.
static TerminalEvent.Type LOWER_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type MAXIMIZE_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type RAISE_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type REFRESH_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type RESTORE_WINDOW
          Emitted at the child application's request.
static TerminalEvent.Type SELECTION_CHANGED
          Emitted whenever the contents of terminal's selection changes.
static TerminalEvent.Type STATUS_LINE_CHANGED
          Emitted whenever the contents of the status line are modified or cleared.
static TerminalEvent.Type TEXT_DELETED
          An internal signal used for communication between the terminal and its accessibility peer.
static TerminalEvent.Type TEXT_INSERTED
          An internal signal used for communication between the terminal and its accessibility peer.
static TerminalEvent.Type TEXT_MODIFIED
          An internal signal used for communication between the terminal and its accessibility peer.
static TerminalEvent.Type WINDOW_TITLE_CHANGED
          Emitted when the terminal's window_title field is modified.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

CHILD_EXITED

public static final TerminalEvent.Type CHILD_EXITED
Emitted when the terminal detects that a child started using Terminal.forkCommand(java.lang.String, java.lang.String[], java.lang.String, boolean, boolean, boolean) has exited.


SELECTION_CHANGED

public static final TerminalEvent.Type SELECTION_CHANGED
Emitted whenever the contents of terminal's selection changes.


CONTENTS_CHANGED

public static final TerminalEvent.Type CONTENTS_CHANGED
Emitted whenever the visible appearance of the terminal has changed.


CURSOR_MOVED

public static final TerminalEvent.Type CURSOR_MOVED
Emitted whenever the cursor moves to a new character cell.


DECREASE_FONT_SIZE

public static final TerminalEvent.Type DECREASE_FONT_SIZE
Emitted when the user hits the '-' key while holding the Control key.


DEICONIFY_WINDOW

public static final TerminalEvent.Type DEICONIFY_WINDOW
Emitted at the child application's request.


EMULATION_CHANGED

public static final TerminalEvent.Type EMULATION_CHANGED
Emitted when the terminal emulation changes.


ENCODING_CHANGED

public static final TerminalEvent.Type ENCODING_CHANGED
Emitted when the encoding of the terminal changes.


EOF

public static final TerminalEvent.Type EOF
Emitted when an End_Of_File is issued to the terminal.


ICON_TITLE_CHANGED

public static final TerminalEvent.Type ICON_TITLE_CHANGED
Emitted when the terminal's icon_title field is modified.


ICONIFY_WINDOW

public static final TerminalEvent.Type ICONIFY_WINDOW
Emitted at the child application's request.


INCREASE_FONT_SIZE

public static final TerminalEvent.Type INCREASE_FONT_SIZE
Emitted when the user hits the '+' key while holding the Control key.


LOWER_WINDOW

public static final TerminalEvent.Type LOWER_WINDOW
Emitted at the child application's request.


MAXIMIZE_WINDOW

public static final TerminalEvent.Type MAXIMIZE_WINDOW
Emitted at the child application's request.


RAISE_WINDOW

public static final TerminalEvent.Type RAISE_WINDOW
Emitted at the child application's request.


REFRESH_WINDOW

public static final TerminalEvent.Type REFRESH_WINDOW
Emitted at the child application's request.


RESTORE_WINDOW

public static final TerminalEvent.Type RESTORE_WINDOW
Emitted at the child application's request.


STATUS_LINE_CHANGED

public static final TerminalEvent.Type STATUS_LINE_CHANGED
Emitted whenever the contents of the status line are modified or cleared.


TEXT_DELETED

public static final TerminalEvent.Type TEXT_DELETED
An internal signal used for communication between the terminal and its accessibility peer. May not be emitted under certain circumstances.


TEXT_INSERTED

public static final TerminalEvent.Type TEXT_INSERTED
An internal signal used for communication between the terminal and its accessibility peer. May not be emitted under certain circumstances.


TEXT_MODIFIED

public static final TerminalEvent.Type TEXT_MODIFIED
An internal signal used for communication between the terminal and its accessibility peer. May not be emitted under certain circumstances.


WINDOW_TITLE_CHANGED

public static final TerminalEvent.Type WINDOW_TITLE_CHANGED
Emitted when the terminal's window_title field is modified.