eu.geclipse.terminal
Interface ITerminalPage

public interface ITerminalPage

Interface to the page containing the terminal widget.

Method Summary

java.lang.String	getDescription() Returns the current text in the description label above the terminal widget.
Font	getFont() Returns the current font of the terminal emulator.
java.lang.String	getTabName() Returns the name of the terminal page's tab.
void	setDescription(java.lang.String desc) Sets the description label above the terminal widget.
void	setFont(Font font) Sets the font of the terminal emulator.
void	setTabName(java.lang.String name) Sets the name of the terminal page's tab.

Method Detail

setTabName

void setTabName(java.lang.String name)

Sets the name of the terminal page's tab.

Parameters:

name - new name.

getTabName

java.lang.String getTabName()

Returns the name of the terminal page's tab.

Returns:

the name of the terminal page's tab.

setDescription

void setDescription(java.lang.String desc)

Sets the description label above the terminal widget. (For example for the terminal window title or the hostname)

Parameters:

desc - text to display.

getDescription

java.lang.String getDescription()

Returns the current text in the description label above the terminal widget.

Returns:

current text of the description label.

setFont

void setFont(Font font)

Sets the font of the terminal emulator.

Parameters:

font - font of the terminal emulator.

getFont

Font getFont()

Returns the current font of the terminal emulator.

Returns:

current font of the terminal emulator.