diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-16 23:18:30 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-16 23:18:30 +0530 |
| commit | bc7158310ce8abf6605840f1c23013640703e285 (patch) | |
| tree | 788e1134def020d1406ef3f9f098edb4fd863f99 /components/script/layout_interface.rs | |
| parent | 39b205daccb96ebfcc5b396fc828381fa2a8c252 (diff) | |
| parent | 2ee446de5d987c911f91dafa499d8a9f7df61995 (diff) | |
| download | servo-bc7158310ce8abf6605840f1c23013640703e285.tar.gz servo-bc7158310ce8abf6605840f1c23013640703e285.zip | |
Auto merge of #8903 - KiChjang:layout-reporter-redirect, r=nox
fix for Layout memory reporter uses pre-redirect url
Rebase of #7612.
Fixes #6872.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8903)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/layout_interface.rs')
| -rw-r--r-- | components/script/layout_interface.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/components/script/layout_interface.rs b/components/script/layout_interface.rs index a38385cebb3..87a4e8f7ca6 100644 --- a/components/script/layout_interface.rs +++ b/components/script/layout_interface.rs @@ -85,6 +85,9 @@ pub enum Msg { /// /// This basically exists to keep the script-layout dependency one-way. CreateLayoutTask(NewLayoutTaskInfo), + + /// Set the final Url. + SetFinalUrl(Url), } /// Synchronous messages that script can send to layout. |