$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');
echo "<h1>", gettext("Dictionary"), "</h1>\n";
if ($dictionary->is_check_complete()) {
html_display_success_msg(gettext("Spell check is complete. To restart spell check click restart button below."), '500', 'center');
}
echo "<br />\n";
echo "<div align=\"center\">\n";
