Searched refs:selectionArea (Results 1 – 2 of 2) sorted by relevance
75 private final SelectionArea selectionArea; field in TerminalKeyListener86 selectionArea = new SelectionArea(); in TerminalKeyListener()313 selectionArea.decrementColumn(); in onKey()324 selectionArea.decrementRow(); in onKey()335 selectionArea.incrementRow(); in onKey()346 selectionArea.incrementColumn(); in onKey()357 if (selectionArea.isSelectingOrigin()) { in onKey()358 selectionArea.finishSelectingOrigin(); in onKey()362 String copiedText = selectionArea.copyFrom(buffer); in onKey()371 selectionArea.reset(); in onKey()
102 private final SelectionArea selectionArea; field in TerminalBridge150 selectionArea = new SelectionArea(); in TerminalBridge()266 selectionArea = new SelectionArea(); in TerminalBridge()391 return selectionArea; in getSelectionArea()