package preferences
#######################################################################
# java images/scripts
#######################################################################
# the _javalinks_ macros are the flashy image links at the top right of
# the page. this is overridden here as we don't want a 'preferences'
# link on this page
_javalinks_ {_imagehome__imagehelp_}
_javalinks_ [v=1] {
_imagehome_
_imagehelp_
}
#######################################################################
# scripts
# note that changing either the "m" or the "o" argument
# from the preferences page necessitates reseting the "r"
# argument to 1
#######################################################################
_pagescriptextra_ {
// preferences scripts generated from \_preferences:pagescriptextra\_
savedhrefs = new Object();
argk = "";
args = "";
argm = "";
argo = "";
argb = "";
function initialize () \{
for (i = 0; i < document.links.length; i++)
savedhrefs[i] = document.links[i].href;
\}
function updatehrefs () \{
for (i = 0; i < document.links.length; i++)
document.links[i].href = savedhrefs[i] + argk + args + argm + argo + argb;
\}
function updatek (value) \{
if (value != _cgiargk_) argk = "&k=" + value;
else argk = "";
updatehrefs();
\}
function updates (value) \{
if (value != _cgiargs_) args = "&s=" + value;
else args = "";
updatehrefs();
\}
function updatem () \{
value = document.PrefForm.m.options[document.PrefForm.m.selectedIndex].value;
if (value != _cgiargm_) argm = "&r=1&m=" + value;
else argm = "";
updatehrefs();
\}
function updateo () \{
value = document.PrefForm.o.options[document.PrefForm.o.selectedIndex].value;
if (value != _cgiargo_) argo = "&r=1&o=" + value;
else argo = "";
updatehrefs();
\}
function updateb (value) \{
if (value != _cgiargb_) argb = "&b=" + value;
else argb = "";
updatehrefs();
\}
function updatel () \{
value = document.PrefForm.l.options[document.PrefForm.l.selectedIndex].value;
location.href = location.href + argk + args + argm + argo + argb + "&l=" + value;
\}
function updatev () \{
value = document.PrefForm.v.options[document.PrefForm.v.selectedIndex].value;
location.href = location.href + argk + args + argm + argo + argb + "&v=" + value;
\}
function updatew () \{
value = document.PrefForm.w.options[document.PrefForm.w.selectedIndex].value;
location.href = location.href + argk + args + argm + argo + argb + "&nw=" + value;
\}
}
#######################################################################
# headers
# these are overridden so we can put an onLoad event handler
# in the
} ####################################################################### # https ####################################################################### _httpiconhpref_ {_httpimg_/h\_pref.gif} _httpiconhpref_ [l=mi] {_httpimg_/mh\_pref.gif} _widthhpref_ {200} _widthhpref_ [l=mi] {220} _heighthpref_ {57} ####################################################################### # icons ####################################################################### _iconthispage_ {