mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Implement diff-based session history
This new implementation of the session history keeps track of a single tree of browsing contexts and pipelines which represents the active entry of the session history and it keeps track of diffs between adjacent entries. This allows use to traverse across the joint session history by applying diffs to the active tree.
This commit is contained in:
parent
044f19d914
commit
f3d068f583
9 changed files with 500 additions and 465 deletions
|
@ -23,7 +23,6 @@ gfx = {path = "../gfx"}
|
|||
gfx_traits = {path = "../gfx_traits"}
|
||||
hyper = "0.10"
|
||||
ipc-channel = "0.10"
|
||||
itertools = "0.7"
|
||||
layout_traits = {path = "../layout_traits"}
|
||||
log = "0.4"
|
||||
metrics = {path = "../metrics"}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue