Fix lost mouse release events in case the pane becomes inactive

zyedidia / micro

A modern and intuitive terminal-based text editor

https://micro-editor.github.io

MIT License

24.39k stars 1.16k forks source link

Closed JoeKar closed 2 months ago

JoeKar commented 2 months ago

A first shot to fix the mouse releases received in a different pane/tab, while the one pressed still waits for his release.

Fixes #3251