Searched refs:getTerminalHeight (Results 1 – 5 of 5) sorted by relevance
51 public int getTerminalHeight() { in getTerminalHeight() method in UnsupportedTerminal
131 public abstract int getTerminalHeight(); in getTerminalHeight() method in Terminal
403 public int getTerminalHeight() { in getTerminalHeight() method in WindowsTerminal
218 public int getTerminalHeight() { in getTerminalHeight() method in UnixTerminal
328 return getTerminal().getTerminalHeight(); in getTermheight()