mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Browser API: implement iframe.reload()
This commit is contained in:
parent
9cccd34bc4
commit
2a86f9d165
6 changed files with 67 additions and 13 deletions
|
@ -217,7 +217,7 @@ bitflags! {
|
|||
#[derive(Deserialize, Serialize)]
|
||||
pub struct IframeLoadInfo {
|
||||
/// Url to load
|
||||
pub url: Url,
|
||||
pub url: Option<Url>,
|
||||
/// Pipeline ID of the parent of this iframe
|
||||
pub containing_pipeline_id: PipelineId,
|
||||
/// The new subpage ID for this load
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue