Home
last modified time | relevance | path

Searched refs:WindowsTerminal (Results 1 – 3 of 3) 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()
48 WindowsTerminal.SPECIAL_KEY_INDICATOR, in testDeleteOnWindowsTerminal()
49 WindowsTerminal.LEFT_ARROW_KEY, in testDeleteOnWindowsTerminal()
50 WindowsTerminal.SPECIAL_KEY_INDICATOR, in testDeleteOnWindowsTerminal()
51 WindowsTerminal.DELETE_KEY, '\r', 'n' }; in testDeleteOnWindowsTerminal()
57 if (!(Terminal.getTerminal() instanceof WindowsTerminal)) in testNumpadDeleteOnWindowsTerminal()
61 WindowsTerminal.NUMPAD_KEY_INDICATOR, in testNumpadDeleteOnWindowsTerminal()
62 WindowsTerminal.LEFT_ARROW_KEY, in testNumpadDeleteOnWindowsTerminal()
63 WindowsTerminal.NUMPAD_KEY_INDICATOR, in testNumpadDeleteOnWindowsTerminal()
[all …]
/external/jline/src/src/main/java/jline/
DWindowsTerminal.java40 public class WindowsTerminal extends Terminal { class
196 public WindowsTerminal() { in WindowsTerminal() method in WindowsTerminal
269 String version = WindowsTerminal.class.getPackage().getImplementationVersion(); in loadLibrary()
289 …InputStream in = new BufferedInputStream(WindowsTerminal.class.getResourceAsStream(name + bits + "… in loadLibrary()
447 return WindowsTerminal.class.getResourceAsStream("windowsbindings.properties"); in getDefaultBindings()
DTerminal.java69 t = new WindowsTerminal(); in setupTerminal()