org.gnu.gnomevte.event
Class TerminalEvent.Type

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

public static class TerminalEvent.Type
extends org.gnu.glib.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 org.gnu.glib.EventType
getID, getName
 
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.