fix: mouse-pos can be nil (#418)

This commit is contained in:
christoph-heinrich
2023-01-05 15:57:30 +01:00
committed by GitHub
parent 5a02c6d205
commit 11f9067182

View File

@@ -546,6 +546,7 @@ if options.click_threshold > 0 then
end
function update_mouse_pos(_, mouse)
if not mouse then return end
if cursor.hover_raw and not mouse.hover then
handle_mouse_leave()
else