Juergen Spitzmueller wrote: > do you see this too? > > - delete a char with the del key. > - press right arrow to move the cursor in the direction where the char > was. => you have to press twice to move on. Seems like the deleted char is > still recognized by the cursor.
Fixed. (a gnome joke it seems) Alfredo
