package preferences # set within server # this macro will be set to _textprefschanged_ when the "set preferences" # button has been pressed _prefschanged_ {} ####################################################################### # scripts ####################################################################### _getargsfunction_ { function getargs () \{ return argk + args + argm + argo + argrd + arghd + argb + argqf + argqb + argfqn; \} } _pagescriptextra_ { // preferences scripts generated from \_preferences:pagescriptextra\_ argk = ""; args = ""; argm = ""; argo = ""; argrd = ""; arghd = ""; argb = ""; argqf = ""; argqb = ""; argfqn = ""; _getargsfunction_ function updatel () \{ value = document.PrefForm.l.options[document.PrefForm.l.selectedIndex].value; href = location.href; if (href.match(/&l=[\\w\\-]+/)) href = href.replace(/&l=[\\w\\-]+/, "&l=" + value); else href += "&l=" + value; if (!location.href.match(/&nl=1$/)) href += "&nl=1"; location.href = href + getargs(); \} function updatev () \{ value = document.PrefForm.v.options[document.PrefForm.v.selectedIndex].value; href = location.href; if (href.match(/&v=\\d/)) href = href.replace(/&v=\\d/, "&v=" + value); else href += "&v=" + value; location.href = href + getargs(); \} function updatew () \{ value = document.PrefForm.w.options[document.PrefForm.w.selectedIndex].value; href = location.href; if (href.match(/&nw=[^&]+/)) href = href.replace(/&nw=[^&]+/, "&nw=" + value); else href += "&nw=" + value; if (!location.href.match(/&nl=0$/)) href += "&nl=0"; location.href = href + getargs(); \} } # set from within pageaction _languageoption_ {} _encodingoption_ {} _formatoption_ { _textformat_ }