diff options
| author | Hendrik Norkowski | 2023-11-27 19:11:16 +0000 |
|---|---|---|
| committer | GitHub | 2023-11-27 19:11:16 +0000 |
| commit | 71fd85894b71e4be3298fcb09b2165caee2968e0 (patch) | |
| tree | c08254bc6dbbf3aea32d0c5942694e6edabc2527 /runtime/queries/jsdoc | |
| parent | b7f98d1d9930b15f07342f67d2560aecd4ebc401 (diff) | |
use crossterm cursor in editor when out of focus (#6858)
Use crossterm cursor in the editor when the terminal is out of focus to achieve consistent out-of-focus cursor behaviour
Diffstat (limited to 'runtime/queries/jsdoc')
0 files changed, 0 insertions, 0 deletions