public class IdeTerminal extends jline.UnsupportedTerminal
DEFAULT_HEIGHT, DEFAULT_WIDTH
IdeTerminal()
boolean
isANSISupported()
getHeight, getOutputEncoding, getWidth, hasWeirdWrap, init, isAnsiSupported, isEchoEnabled, isSupported, reset, restore, setAnsiSupported, setEchoEnabled, wrapInIfNeeded, wrapOutIfNeeded
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public IdeTerminal()
public boolean isANSISupported()