}
$dictionary->find_next_word();
} else {
if (isset($_POST['change'])) {
// User has selected to change the current word
if (isset($_POST['change_to']) && strlen(trim($_POST['change_to'])) > 0) {
$t_change_to = trim($_POST['change_to']);
$dictionary->correct_current_word($t_change_to);
}
$dictionary->find_next_word();
} else {
if (isset($_POST['changeall'])) {
// User has selected to change the current word
if (isset($_POST['change_to']) && strlen(trim($_POST['change_to'])) > 0) {
$t_change_to = trim($_POST['change_to']);
$dictionary->correct_all_word_matches($t_change_to);
}
$dictionary->find_next_word();
} else {
if (isset($_POST['suggest'])) {
// Get more suggestions for the current word
$dictionary->get_more_suggestions();
} else {
// We're moving to the next word;
$dictionary->find_next_word();
}
}
}
}
}
html_draw_top(sprintf('title=%s', gettext("Dictionary")), 'dictionary.js', 'pm_popup_disabled', 'class=window_title');
