Settings and Session Management

User Settings

This page lets you customize your personal settings for this site. These settings are stored on the server and are identified by a session key stored in a browser cookie. That cookie allows your settings to be restored on subsequent visits.

Personal Information

Full name:
Email address:

This information is used to automatically populate some forms on this site with your contact details.

Preferences

Time zone:

Configuring your time zone will result in all dates and times displayed on this site to use your time zone instead of that of the server.

Enable access keys

This site provides keyboard shortcuts for faster access to certain functions of this site. As these shortcuts can cause conflicts with shortcuts provided by the desktop system or web browser, they are disabled by default. See TracAccessibility for more information on access keys.

Session

Session key:

The session key is used to identify stored custom settings and session data on the server. Although it is automatically generated by default, you may change it to something easier to remember at any time if you wish to load your settings in a different web browser.

Load Session

You may load a previously created session by entering the corresponding session key below. This lets you share settings between multiple computers and web browsers.