fix(ui): use crossterm cursor when at the end of the rope (#8934)

pull/8938/head
Hendrik Norkowski 7 months ago committed by GitHub
parent 6d168eda27
commit b023faacf8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -469,7 +469,7 @@ impl EditorView {
// Special-case: cursor at end of the rope.
if range.head == range.anchor && range.head == text.len_chars() {
if !selection_is_primary || cursor_is_block {
if !selection_is_primary || (cursor_is_block && is_terminal_focused) {
// Bar and underline cursors are drawn by the terminal
// BUG: If the editor area loses focus while having a bar or
// underline cursor (eg. when a regex prompt has focus) then

Loading…
Cancel
Save