-function output_user_settings()
-{
- global $PREF;
-
- echo "<div class=\"useroptions\">\n";
- echo "<h4> Settings </h4>\n";
- echo "<a href=\"index.php?passwd=ask\">Change password</a><br />";
-
- echo "<h5> Card set </h5>\n";
- if( $PREF["cardset"] == "english" )
- echo "<a href=\"index.php?setpref=germancards\">Change to German cards</a><br />";
- else
- echo "<a href=\"index.php?setpref=englishcards\">Change to English cards</a> <br />";
-
- echo "<h5> Email </h5>\n";
- if( $PREF["email"] == "emailaddict" )
- echo "<a href=\"index.php?setpref=emailnonaddict\">Change to non-addicted mode (emails for each move)</a><br />";
- else
- echo "<a href=\"index.php?setpref=emailaddict\">Change to addicted mode (minimal amount of emails)</a> <br />";
-
- echo "</div>\n";
-
- return;
-}
-