org.jledit.terminal

Class JlEditWindowsTerminal

java.lang.Object

jline.TerminalSupport

jline.WindowsTerminal

jline.AnsiWindowsTerminal

org.jledit.terminal.JlEditWindowsTerminal

All Implemented Interfaces:

jline.Terminal

public class JlEditWindowsTerminal
extends jline.AnsiWindowsTerminal

Nested Class Summary

Nested classes/interfaces inherited from class jline.WindowsTerminal

jline.WindowsTerminal.ConsoleMode

Field Summary

Fields inherited from class jline.WindowsTerminal

ANSI, DIRECT_CONSOLE

Fields inherited from class jline.TerminalSupport

DEFAULT_HEIGHT, DEFAULT_WIDTH

Constructor Summary

Constructors

Constructor and Description
JlEditWindowsTerminal(jline.AnsiWindowsTerminal delegate, boolean preExists)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Boolean	getDirectConsole() Whether or not to allow the use of the JNI console interaction.
boolean	hasWeirdWrap()
boolean	isAnsiSupported()
void	restore()
void	setDirectConsole(boolean flag) Whether or not to allow the use of the JNI console interaction.
void	setEchoEnabled(boolean enabled)
java.io.InputStream	wrapInIfNeeded(java.io.InputStream in)
java.io.OutputStream	wrapOutIfNeeded(java.io.OutputStream out) Subclass to change behavior if needed.

Methods inherited from class jline.WindowsTerminal

getHeight, getWidth, init, isSystemIn

Methods inherited from class jline.TerminalSupport

isEchoEnabled, isSupported, reset, setAnsiSupported

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JlEditWindowsTerminal

public JlEditWindowsTerminal(jline.AnsiWindowsTerminal delegate,
                     boolean preExists)
                      throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

restore

public void restore()
             throws java.lang.Exception

Specified by:

restore in interface jline.Terminal

Overrides:

restore in class jline.WindowsTerminal

Throws:

java.lang.Exception

setEchoEnabled

public void setEchoEnabled(boolean enabled)

Specified by:

setEchoEnabled in interface jline.Terminal

Overrides:

setEchoEnabled in class jline.WindowsTerminal

setDirectConsole

public void setDirectConsole(boolean flag)

Whether or not to allow the use of the JNI console interaction.

Overrides:

setDirectConsole in class jline.WindowsTerminal

getDirectConsole

public java.lang.Boolean getDirectConsole()

Whether or not to allow the use of the JNI console interaction.

Overrides:

getDirectConsole in class jline.WindowsTerminal

isAnsiSupported

public boolean isAnsiSupported()

Specified by:

isAnsiSupported in interface jline.Terminal

Overrides:

isAnsiSupported in class jline.AnsiWindowsTerminal

hasWeirdWrap

public boolean hasWeirdWrap()

Specified by:

hasWeirdWrap in interface jline.Terminal

Overrides:

hasWeirdWrap in class jline.AnsiWindowsTerminal

wrapOutIfNeeded

public java.io.OutputStream wrapOutIfNeeded(java.io.OutputStream out)

Subclass to change behavior if needed.

Specified by:

wrapOutIfNeeded in interface jline.Terminal

Overrides:

wrapOutIfNeeded in class jline.AnsiWindowsTerminal

Returns:

the passed out

wrapInIfNeeded

public java.io.InputStream wrapInIfNeeded(java.io.InputStream in)
                                   throws java.io.IOException

Specified by:

wrapInIfNeeded in interface jline.Terminal

Overrides:

wrapInIfNeeded in class jline.WindowsTerminal

Throws:

java.io.IOException