eu.geclipse.terminal
Interface ITerminalListener

public interface ITerminalListener

Listener for changes of terminal properties.

Method Summary

void	terminated() Session terminated.
void	windowSizeChanged(int cols, int lines, int xPixels, int yPixels) Window size changed.
void	windowTitleChanged(java.lang.String windowTitle) Window title changed.

Method Detail

windowSizeChanged

void windowSizeChanged(int cols,
                       int lines,
                       int xPixels,
                       int yPixels)

Window size changed.

Parameters:

cols - new number of columns.

lines - new number of lines.

xPixels - new width in pixels.

yPixels - new height in pixels.

windowTitleChanged

void windowTitleChanged(java.lang.String windowTitle)

Window title changed. (Possible through xterm ESC sequence)

Parameters:

windowTitle - new window title.

terminated

void terminated()

Session terminated.