org.jledit.terminal

Class JlEditTerminalFactory

java.lang.Object

org.jledit.terminal.JlEditTerminalFactory

public final class JlEditTerminalFactory
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
static jline.Terminal	get() Returns a wrapped Terminal.
static jline.Terminal	get(jline.Terminal terminal) Wraps the existing Terminal.
static jline.Terminal	get(jline.Terminal terminal, boolean preExists) Wraps a Terminal.

Methods inherited from class java.lang.Object

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

Method Detail

get

public static jline.Terminal get()
                          throws Exception

Returns a wrapped Terminal.

Returns:

Throws:

Exception

get

public static jline.Terminal get(jline.Terminal terminal)
                          throws Exception

Wraps the existing Terminal. If Terminal is null, the terminal will get restored, when editor quites. If Terminal is not null, a rest will be called instead.

Parameters:

terminal -

Returns:

Throws:

Exception

get

public static jline.Terminal get(jline.Terminal terminal,
                 boolean preExists)
                          throws Exception

Wraps a Terminal.

Parameters:

terminal -

preExists -

Returns:

Throws:

Exception