- echo " <nobr><input type=\"text\" value=\"".$message_highlight_list[$theid]["value"]."\" name=\"value\"> (";
- echo _("Regular Expression");
- echo ")\n <nobr></td>\n";
+ $disp = $message_highlight_list[$theid]["value"];
+ $disp = str_replace("\\\\", "\\", $disp);
+ $disp = str_replace("\\\"", "\"", $disp);
+ $disp = str_replace("\"", """, $disp);
+ echo " <nobr><input type=\"text\" value=\"".$disp."\" name=\"value\">";
+ echo " <nobr></td>\n";