fix: filter out events with no window id, if the window id is needed
This commit is contained in:
parent
1349ef96b7
commit
175a71590a
1 changed files with 10 additions and 0 deletions
|
|
@ -1347,6 +1347,16 @@ async fn run_instance<P>(
|
||||||
}
|
}
|
||||||
|
|
||||||
for (id, event) in events.drain(..) {
|
for (id, event) in events.drain(..) {
|
||||||
|
if id.is_none()
|
||||||
|
&& matches!(
|
||||||
|
event,
|
||||||
|
core::Event::Keyboard(_)
|
||||||
|
| core::Event::Touch(_)
|
||||||
|
| core::Event::Mouse(_)
|
||||||
|
)
|
||||||
|
{
|
||||||
|
continue;
|
||||||
|
}
|
||||||
runtime.broadcast(subscription::Event::Interaction {
|
runtime.broadcast(subscription::Event::Interaction {
|
||||||
window: id.unwrap_or(window::Id::NONE),
|
window: id.unwrap_or(window::Id::NONE),
|
||||||
event,
|
event,
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue