AWTTerminal(TerminalEmulatorDeviceConfiguration deviceConfiguration,
AWTTerminalFontConfiguration fontConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new AWTTerminal component using custom settings and a custom scroll controller.
|
AWTTerminal(TerminalScrollController scrollController) |
Creates a new AWTTerminal with a particular scrolling controller that will be notified when the terminals
history size grows and will be called when this class needs to figure out the current scrolling position.
|
AWTTerminal(TerminalSize initialTerminalSize,
TerminalEmulatorDeviceConfiguration deviceConfiguration,
AWTTerminalFontConfiguration fontConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new AWTTerminal component using custom settings and a custom scroll controller.
|
AWTTerminalImplementation(java.awt.Component component,
AWTTerminalFontConfiguration fontConfiguration,
TerminalSize initialTerminalSize,
TerminalEmulatorDeviceConfiguration deviceConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new AWTTerminalImplementation
|
GraphicalTerminalImplementation(TerminalSize initialTerminalSize,
TerminalEmulatorDeviceConfiguration deviceConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new GraphicalTerminalImplementation component using custom settings and a custom scroll controller.
|
SwingTerminal(TerminalEmulatorDeviceConfiguration deviceConfiguration,
SwingTerminalFontConfiguration fontConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new SwingTerminal component using custom settings and a custom scroll controller.
|
SwingTerminal(TerminalScrollController scrollController) |
Creates a new SwingTerminal with a particular scrolling controller that will be notified when the terminals
history size grows and will be called when this class needs to figure out the current scrolling position.
|
SwingTerminal(TerminalSize initialTerminalSize,
TerminalEmulatorDeviceConfiguration deviceConfiguration,
SwingTerminalFontConfiguration fontConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new SwingTerminal component using custom settings and a custom scroll controller.
|
SwingTerminalImplementation(javax.swing.JComponent component,
SwingTerminalFontConfiguration fontConfiguration,
TerminalSize initialTerminalSize,
TerminalEmulatorDeviceConfiguration deviceConfiguration,
TerminalEmulatorColorConfiguration colorConfiguration,
TerminalScrollController scrollController) |
Creates a new SwingTerminalImplementation
|