<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<font face="Georgia">If I set DEL key to ASCII DEL in the Compatibility
TAB of the default profile for gnome-terminal, then DEL behaves like
BACKSPACE. Please confirm that it's not only I having the problem so
that I can file a bug report.<br>
</font>
</body>
</html>