micro-editor / micro-editor/micro
Micro causes Windows Terminal to lose mouse functionality
Nobody has claimed this yet.
- Dominant language
- Go
- Stars
- 29.6k
- Forks
- 1.4k
- Avg merge
- 2d 18h
- Merged PRs (30d)
- 10
Description
Description of the problem or steps to reproduce
When using a tab of Windows Terminal configured for bash (via Git Bash - my command line is "%PROGRAMFILES%\Git\usr\bin\bash.exe" -i -l), after I use micro one time, the cursor no longer works in the Windows Terminal. For example, I cannot highlight things by holding down the mouse button, or scroll using the scroll wheel.
https://user-images.githubusercontent.com/241628/145907539-b4d454bc-0d22-4dcb-9b31-49880519fee4.mp4
Specifications
Commit hash: b9763856
OS: Windows 10
Terminal: Windows Terminal
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the issue in Windows Terminal using the reported Git Bash command, Windows 10, and commit b9763856, then compare mouse behavior before and after running micro. Trace the terminal and mouse handling entry points involved in startup and exit. Done means mouse selection and scrolling continue to work after micro exits.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- bash, go
- Domain
- cli, operating-systems
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100