Skip to content

Commit

Permalink
update the focus when deleting a snip that has the focus
Browse files Browse the repository at this point in the history
  • Loading branch information
rfindler committed Jan 7, 2024
1 parent 8109de9 commit 8409105
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions gui-lib/mred/private/wxme/text.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -2025,8 +2025,10 @@
(let ([rl? read-locked?])
(set! read-locked? #t)
(send s-caret-snip own-caret #f)
(do-own-caret #t)
(set! read-locked? rl?)
(set! s-caret-snip #f)
(on-focus #t)
#t))
update-cursor?)])

Expand Down

0 comments on commit 8409105

Please sign in to comment.