mirror of
https://github.com/servo/servo.git
synced 2025-07-20 22:03:42 +01:00
5e9de2cb61
`EmbedderMsg` was previously paired with an implicit `Option<WebViewId>`, even though almost all variants were either always `Some` or always `None`, depending on whether there was a `WebView involved. This patch adds the `WebViewId` to as many `EmbedderMsg` variants as possible, so we can call their associated `WebView` delegate methods without needing to check and unwrap the `Option`. In many cases, this required more changes to plumb through the `WebViewId`. Notably, all `Request`s now explicitly need a `WebView` or not, in order to ensure that it is passed when appropriate. Signed-off-by: Delan Azabani <dazabani@igalia.com> Co-authored-by: Martin Robinson <mrobinson@igalia.com> |
||
|---|---|---|
| .. | ||
| Cargo.toml | ||
| cross_process_instant.rs | ||
| generate-unicode-block.py | ||
| generic_channel.rs | ||
| id.rs | ||
| lib.rs | ||
| print_tree.rs | ||
| text.rs | ||
| unicode_block.rs | ||