Session Restore: Difference between revisions

→‎Preferences: source pointing to Trunk, some prefs added
(→‎Implementation: Data location added)
(→‎Preferences: source pointing to Trunk, some prefs added)
Line 29: Line 29:
== Preferences ==
== Preferences ==


See [http://bonsai.mozilla.org/cvsblame.cgi?file=mozilla/browser/app/profile/firefox.js&rev=1.241&root=/cvsroot&mark=181-183,570-583#569 the source] for the complete list of currently available settings and their default values.
See [http://mxr.mozilla.org/mozilla-central/source/browser/app/profile/firefox.js#750 the source] for currently available settings and their default values.


* browser.sessionstore.enabled (bool) - Activate the service. Default is true.
* browser.sessionstore.enabled (bool) - Activate the service. Default is true. May not appear in about:config until changed.
* browser.sessionstore.interval (integer) - minimal interval between saving  operations in milliseconds. Default is 10000.
* browser.sessionstore.max_resumed_crashes (integer) - Number of crashes that can occur before the about:sessionrestore page is displayed. Default is 1. So the user is asked after the second crash which pages he wants to restore.
* browser.sessionstore.resume_from_crash (bool) - Resume sessions post-crash. Default is true.
* browser.sessionstore.resume_from_crash (bool) - Resume sessions post-crash. Default is true.
* browser.sessionstore.resume_session_once (bool) - Resume session at the next application start, but not again. Default is false. This is used for restarting the browser after application updates and extension installation.
* browser.sessionstore.resume_session_once (bool) - Resume session at the next application start, but not again. Default is false. This is used for restarting the browser after application updates and extension installation.
* browser.startup.page (int) - What is displayed when Firefox starts: 0 = blank page; 1 = homepage; 3 = previous session. Default is 1. (Note: This preference is exposed in the Startup section of the Main pane of the Options/Preferences dialog.)
* browser.startup.page (int) - What is displayed when Browser starts: 0 = blank page; 1 = homepage; 3 = previous session. Default is 1. (Note: Firefox exposes this preference in the Startup section of the Main pane of the Options/Preferences dialog.)


= Technical Design =
= Technical Design =
Confirmed users
59

edits