mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
Auto merge of #8618 - paulrouget:reload, r=jdm
Browser API: implement iframe.reload() fixes #8575 The implementation is naive, and doesn't support the `hardreload` parameter. And for the test, I'm not sure how else I can test the reload. <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8618) <!-- Reviewable:end -->
This commit is contained in:
commit
9570b51565
6 changed files with 67 additions and 13 deletions
|
@ -210,7 +210,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