Searched refs:terminalID (Results 1 – 1 of 1) sorted by relevance
560 public void setTerminalID(String terminalID) { in setTerminalID() argument561 this.terminalID = terminalID; in setTerminalID()563 if (terminalID.equals("scoansi")) { in setTerminalID()598 return terminalID; in getTerminalID()658 private String terminalID = "vt320"; field in vt3201825 if (terminalID.equals("scoansi") || terminalID.equals("ansi")) { in putChar()2594 if (terminalID.equals("vt320")) { in putChar()2597 if (terminalID.equals("vt220")) { in putChar()2600 if (terminalID.equals("vt100")) { in putChar()3009 if (terminalID.equals("scoansi")) { in putChar()[all …]