mirror of
https://github.com/servo/servo
synced 2026-05-13 10:27:03 +02:00
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.