()
| 92 | } |
| 93 | |
| 94 | public getCursorStyle(): TextEditorCursorStyle { |
| 95 | if (this._currentMode === Mode.NORMAL) { |
| 96 | if (/^([1-9]\d*)?(r|c)/.test(this._currentInput)) { |
| 97 | return TextEditorCursorStyle.Underline; |
| 98 | } |
| 99 | return TextEditorCursorStyle.Block; |
| 100 | } |
| 101 | if (this._currentMode === Mode.REPLACE) { |
| 102 | return TextEditorCursorStyle.Underline; |
| 103 | } |
| 104 | return TextEditorCursorStyle.Line; |
| 105 | } |
| 106 | |
| 107 | private _getModeLabel(): string { |
| 108 | if (this._currentMode === Mode.NORMAL) { |