Home
last modified time | relevance | path

Searched refs:getTerminal (Results 1 – 4 of 4) sorted by relevance

/external/jline/src/src/test/java/jline/
DConsoleReaderTest.java22 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testDeleteAndBackspaceKeymappings()
44 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testDeleteOnWindowsTerminal()
57 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testNumpadDeleteOnWindowsTerminal()
70 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testHomeKeyOnWindowsTerminal()
82 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testEndKeyOnWindowsTerminal()
95 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testPageUpOnWindowsTerminal()
105 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testPageDownOnWindowsTerminal()
115 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testEscapeOnWindowsTerminal()
126 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testInsertOnWindowsTerminal()
/external/jline/src/src/main/java/jline/
DTerminal.java25 public static Terminal getTerminal() { in getTerminal() method in Terminal
DConsoleReader.java174 this(in, out, bindings, Terminal.getTerminal()); in ConsoleReader()
254 public Terminal getTerminal() { in getTerminal() method in ConsoleReader
317 return getTerminal().getTerminalWidth(); in getTermwidth()
328 return getTerminal().getTerminalHeight(); in getTermheight()
/external/jline/
Djline-1.0.jarMETA-INF/ META-INF/MANIFEST.MF jline/ jline/ANSIBuffer$ANSICodes. ...