mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Auto merge of #23191 - paulrouget:no_proxy_clone, r=ferjm
Remove useless embedder proxy clone <!-- Reviewable:start --> This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23191) <!-- Reviewable:end -->
This commit is contained in:
commit
1e4b42a90b
1 changed files with 1 additions and 1 deletions
|
@ -2899,7 +2899,7 @@ where
|
||||||
},
|
},
|
||||||
None => {
|
None => {
|
||||||
let event = (None, EmbedderMsg::Keyboard(event));
|
let event = (None, EmbedderMsg::Keyboard(event));
|
||||||
self.embedder_proxy.clone().send(event);
|
self.embedder_proxy.send(event);
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue