diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-26 19:23:59 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-26 19:23:59 +0100 |
| commit | 85984b09e182adca4b03d9f7efab20d48b5b632a (patch) | |
| tree | 0c7309c896b50663418f6b45a0df36336d92fc43 /editors/code/src/events/change_text_document.ts | |
| parent | 106004139375b64817145d8279cd7904a477c637 (diff) | |
| parent | cf4720ffd5524f1ddda411e4810da8d97a0c593f (diff) | |
Merge #2081
2081: use unicode bar for drawing the cursor r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/events/change_text_document.ts')
0 files changed, 0 insertions, 0 deletions