Fix mouse exploration on Windows Terminal #20450
seanbudd
marked this pull request as draft 36 days ago
Fix mouse exploration on Windows Terminal
a382ff28
Rename app module to match executable name
edf6ed2c
Add a missing type hint
8ad301b7
DataTriny
force pushed
from
dbcb75e6
to
8ad301b7
16 days ago
DataTriny
marked this pull request as ready for review 15 days ago
seanbudd
marked this pull request as draft 15 days ago
Fix bad merge conflict resolution
58b21930
Use the right type hint
f16c32c2
We don't actually need an app module
c587cdf5
DataTriny
marked this pull request as ready for review 14 days ago
seanbudd
approved these changes
on 2026-07-31
seanbudd
merged
8af4d0c8
into master 13 days ago
DataTriny
deleted the fix-terminal-mouse-tracking branch 13 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub