This site contains older material on Eiffel. For the main Eiffel page, see

Strange backspace behavior(Linux/X11R6)


Backspace key steps one character to the right after deleting the character to the left of the cursor. Repeated deletes, therefore, delete to the right of the cursor instead of to the left.


This problem seems to occur on Linux platforms using X11R6. On platforms using X11R5 the problem has not been encountered.


Put the following lines into X resources, for example .Xdefaults file in user's home directory:

    ebench*XmText*Translations:    \
    #override osfBackSpace: delete-previous-character() backward-character()