diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2022-04-29 03:50:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-28 21:50:34 -0400 |
| commit | 9de75988ba6427891fb739b846dce6b8bc9ea30e (patch) | |
| tree | 773c7c69810e82bd05ce0faf4ab2bb7148cd6d95 /data/plugins/language_python.lua | |
| parent | ac42e6457a5f2bbc28143e3f40de222ff47da516 (diff) | |
| download | lite-xl-9de75988ba6427891fb739b846dce6b8bc9ea30e.tar.gz lite-xl-9de75988ba6427891fb739b846dce6b8bc9ea30e.zip | |
Send `mouseleft` event when the mouse leaves the window (#928)
* Send `mouseleft` event when the mouse leaves the window
* Call `View:on_mouse_left` when the mouse leaves the `View`
Previously `View:on_mouse_left` was called only when the mouse left the
window, and it was called on every visible `View`.
Now it gets also called when the mouse "changes" `View`, and only the
last `View` the mouse was on will receive the event.
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions