mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
devtools: Treat session history traversal like a navigation.
This commit is contained in:
parent
bd554a2a98
commit
fd9be5097d
4 changed files with 36 additions and 2 deletions
|
@ -97,6 +97,9 @@ pub struct Pipeline {
|
|||
|
||||
/// Has this pipeline received a notification that it is completely loaded?
|
||||
pub completely_loaded: bool,
|
||||
|
||||
/// The title of this pipeline's document.
|
||||
pub title: String,
|
||||
}
|
||||
|
||||
/// Initial setup data needed to construct a pipeline.
|
||||
|
@ -379,6 +382,7 @@ impl Pipeline {
|
|||
history_state_id: None,
|
||||
history_states: HashSet::new(),
|
||||
completely_loaded: false,
|
||||
title: String::new(),
|
||||
};
|
||||
|
||||
pipeline.notify_visibility(is_visible);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue