fix(tui): text selection is sometimes not cleared when click+release without dragging (#1993)
Y
Yihui Khuu committed
3f3da44ed9a23f98b869038dfa423d8caf0dacf1
Parent: b3885d1
Committed by GitHub <noreply@github.com>
on 8/16/2025, 2:16:09 PM