mirror of
https://github.com/servo/servo.git
synced 2025-08-05 21:50:18 +01:00
Make change page url message consistent with other compositor messages.
This doesn't have any effect on functionality, it just simplifies a few upcoming changes with how FrameIds work.
This commit is contained in:
parent
e8f1a046c6
commit
3befc8ce0b
3 changed files with 6 additions and 6 deletions
|
@ -202,7 +202,7 @@ pub enum Msg {
|
|||
/// Alerts the compositor that the current page has changed its title.
|
||||
ChangePageTitle(PipelineId, Option<String>),
|
||||
/// Alerts the compositor that the current page has changed its URL.
|
||||
ChangePageUrl(FrameId, Url),
|
||||
ChangePageUrl(PipelineId, Url),
|
||||
/// Alerts the compositor that a `PaintMsg` has been discarded.
|
||||
PaintMsgDiscarded,
|
||||
/// Replaces the current frame tree, typically called during main frame navigation.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue