mirror of
https://github.com/servo/servo.git
synced 2025-08-07 14:35:33 +01:00
Convert RemoveIFrame message to use pipeline id.
This commit is contained in:
parent
736730f2e7
commit
8d312b0f0c
3 changed files with 17 additions and 23 deletions
|
@ -276,7 +276,7 @@ pub enum Msg {
|
|||
/// Query the constellation to see if the current compositor output is stable
|
||||
IsReadyToSaveImage(HashMap<PipelineId, Epoch>),
|
||||
/// Notification that this iframe should be removed.
|
||||
RemoveIFrame(PipelineId, SubpageId),
|
||||
RemoveIFrame(PipelineId),
|
||||
/// Favicon detected
|
||||
NewFavicon(Url),
|
||||
/// <head> tag finished parsing
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue