-if (isset($_POST['submit_translate']) && $_POST['submit_translate'] ) {
- if (isset($_POST['translate_translate_server'])) {
- setPref($data_dir, $username, 'translate_server', $_POST['translate_translate_server']);
- } else {
- setPref($data_dir, $username, 'translate_server', 'babelfish');
- }
-
- if (isset($_POST['translate_translate_location'])) {
- setPref($data_dir, $username, 'translate_location', $_POST['translate_translate_location']);
- } else {
- setPref($data_dir, $username, 'translate_location', 'center');
- }
-
- if (isset($_POST['translate_translate_show_read'])) {
- setPref($data_dir, $username, 'translate_show_read', '1');
- } else {
- setPref($data_dir, $username, 'translate_show_read', '');
- }
-
- if (isset($_POST['translate_translate_show_send'])) {
- setPref($data_dir, $username, 'translate_show_send', '1');
- } else {
- setPref($data_dir, $username, 'translate_show_send', '');
- }
-
- if (isset($_POST['translate_translate_same_window'])) {
- setPref($data_dir, $username, 'translate_same_window', '1');
- } else {
- setPref($data_dir, $username, 'translate_same_window', '');
- }
-}
-
-$translate_server = getPref($data_dir, $username, 'translate_server');
-if ($translate_server == '') {
- $translate_server = 'babelfish';
-}
-$translate_location = getPref($data_dir, $username, 'translate_location');
-if ($translate_location == '') {
- $translate_location = 'center';
-}
-$translate_show_read = getPref($data_dir, $username, 'translate_show_read');
-$translate_show_send = getPref($data_dir, $username, 'translate_show_send');
-$translate_same_window = getPref($data_dir, $username, 'translate_same_window');
-
-/**
- * FIXME: undocumented function
- * @access private
- */
-function ShowOption($Var, $value, $Desc) {
- $Var = 'translate_' . $Var;
-
- global $$Var;
-
- echo '<option value="' . $value . '"';
- if ($$Var == $value) {
- echo ' selected';
- }
- echo '>' . $Desc . "</option>\n";
-}
-
-/**
- * FIXME: undocumented function
- * @access private
- */
-function ShowTrad( $tit, $com, $url ) {
-
- echo "<li><b>$tit</b> - ".
- $com .
- "[ <a href=\"$url\" target=\"_blank\">$tit</a> ]</li>";
-
-}
-