diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-02-04 09:41:13 +0000 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-02-04 09:41:13 +0000 |
commit | e7366bf41f68cfe07e9ea03fc4a398baecbae651 (patch) | |
tree | 5bb9c3cbe7eab7e70ff1ebd65d9de59a694762df /disc_caching_and_history.mdwn | |
download | netsurf-wiki-e7366bf41f68cfe07e9ea03fc4a398baecbae651.tar.gz netsurf-wiki-e7366bf41f68cfe07e9ea03fc4a398baecbae651.tar.bz2 |
Initial conversion from MediaWiki, 20170204
Diffstat (limited to 'disc_caching_and_history.mdwn')
-rw-r--r-- | disc_caching_and_history.mdwn | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/disc_caching_and_history.mdwn b/disc_caching_and_history.mdwn new file mode 100644 index 0000000..7e84c21 --- /dev/null +++ b/disc_caching_and_history.mdwn @@ -0,0 +1,34 @@ +[[!meta title="Disc Caching and History"]] +[[!meta author="Tlsa"]] +[[!meta date="2009-07-08T14:34:46Z"]] + + +[[!toc]] This page contains ideas +for adding a disk cache and improving browsing history. + +Aims +---- + +- Faster page loading using a disk cache +- Navigating local or global history will show page exactly as it was +- Groundwork for exciting future features like :- +- "This page has changed since your last visit 3 minutes ago!" +- Offline browsing +- Go back to the past +- Highlight new text / diff +- ??? + +Ideas +----- + +- Each retrieved resource is assigned an id (could just be an + incrementing counter) (so the id refers to a URL at a particular + time and as the result of a particular GET or POST) +- Almost everything refers to those ids instead of URLs (pages with + objects, local history, global history) +- Disk caching can be switched on or off (for devices without storage, + private mode, etc.) +- Disk cache stores headers, data, various metadata, ids of objects it + uses +- Memory cache remains (but modified to be like disk cache) + |