org.gnu.gnomevte.event
Interface TerminalListener


public interface TerminalListener

Listener for the Terminal widget.


Method Summary
 void terminalEvent(TerminalEvent event)
          This method is called whenever a Terminal widget fires an event.
 

Method Detail

terminalEvent

void terminalEvent(TerminalEvent event)
This method is called whenever a Terminal widget fires an event.

Parameters:
event - the event that is fired.