()
| 1093 | } |
| 1094 | |
| 1095 | private exitVisual(): void { |
| 1096 | this.visualMode = false |
| 1097 | this.visualScope = null |
| 1098 | window.getSelection()?.removeAllRanges() |
| 1099 | } |
| 1100 | |
| 1101 | /** Keys while in char-wise visual mode: motions extend the selection; d/x |
| 1102 | * delete it, c/s change it, y yanks it, Esc cancels. */ |