mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Make session history aware of URLs
This commit is contained in:
parent
05fe8fa08d
commit
e7ef9cfb30
11 changed files with 192 additions and 56 deletions
|
@ -105,9 +105,9 @@ pub enum ScriptMsg {
|
|||
/// HTMLIFrameElement Forward or Back traversal.
|
||||
TraverseHistory(TraversalDirection),
|
||||
/// Inform the constellation of a pushed history state.
|
||||
PushHistoryState(HistoryStateId),
|
||||
PushHistoryState(HistoryStateId, ServoUrl),
|
||||
/// Inform the constellation of a replaced history state.
|
||||
ReplaceHistoryState(HistoryStateId),
|
||||
ReplaceHistoryState(HistoryStateId, ServoUrl),
|
||||
/// Gets the length of the joint session history from the constellation.
|
||||
JointSessionHistoryLength(IpcSender<u32>),
|
||||
/// Favicon detected
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue