- [input #check_settings type="checkbox"][label for=check_settings Settings]
- [div #settings
- [h1 Settings][label for=check_settings Close]
- [input #set_nick type=radio name="setting" value="nick" selected][label for=set_nick Nickname]
- [div [input name="nickname" value="%s"][submit "action" "nick" Set Cookie]]
- ]
+ [form #settings method="POST" action="?settings"
+ [hidden "session_key" "%s"]
+ [h1 Settings][a .settings href="?" Close]
+ ' "$SESSION_KEY"
+ if [ "$ERROR" ]; then
+ printf '[p .error %s %s]' "${ERROR%% *}" "$(HTML "${ERROR#.* }")"
+ unset ERROR
+ fi
+ printf '
+ [a .section href="#nick" Nickname]
+ [div #nick [input name="nickname" value="%s"][submit "action" "nick" Set Cookie]]