2
PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
3
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4
<html xmlns="http://www.w3.org/1999/xhtml"
5
xmlns:py="http://genshi.edgewall.org/"
6
xmlns:xi="http://www.w3.org/2001/XInclude">
7
<xi:include href="prefs.html" />
9
<title>Advanced</title>
15
<input type="text" name="newsid" size="30"
16
value="${settings.session_id}" />
18
<p class="hint">The session key is used to identify stored custom
19
settings and session data on the server. Although it is
20
automatically generated by default, you may change it to something
21
easier to remember at any time if you wish to load your settings
22
in a different web browser.</p>
26
<label>Restore session:
27
<input type="text" name="loadsid" size="30" value="" />
29
<input type="submit" name="restore" value="${_('Load')}" />
30
<p class="hint">You may load a previously created session by entering the
31
corresponding session key below. This lets you share settings between
32
multiple computers and web browsers.</p>