Searched refs:selectionArea (Results 1 – 2 of 2) sorted by relevance
77 private final SelectionArea selectionArea; field in TerminalKeyListener88 selectionArea = new SelectionArea(); in TerminalKeyListener()315 selectionArea.decrementColumn(); in onKey()326 selectionArea.decrementRow(); in onKey()337 selectionArea.incrementRow(); in onKey()348 selectionArea.incrementColumn(); in onKey()359 if (selectionArea.isSelectingOrigin()) { in onKey()360 selectionArea.finishSelectingOrigin(); in onKey()364 String copiedText = selectionArea.copyFrom(buffer); in onKey()373 selectionArea.reset(); in onKey()
104 private final SelectionArea selectionArea; field in TerminalBridge152 selectionArea = new SelectionArea(); in TerminalBridge()268 selectionArea = new SelectionArea(); in TerminalBridge()393 return selectionArea; in getSelectionArea()