id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc 405,Report Emacs bug: Quail input breaks delete-char behaviour,Generic Isabelle user,David Aspinall,"Step 1: In a theory file buffer, type a character like ""-"" or ""."", which is an initial character in a Unicode shortcut sequence. The character displays with an underline, indicating this. Step 2: Press ""delete"", intending to delete the chararacter to the right of the insertion point. Result: The character that I just typed (""-"" or ""."") is deleted instead, as if I had pressed ""backspace"". C-h k shows that ""delete"" is bound to unicode-tokens-delete-char, and ""backspace"" is bound to unicode-tokens-delete-backward-char. It appears that while entering a unicode token shortcut (when characters are shown with the underline) both of these do the same thing. Versions: Isabelle Proof General, Version 4.1pre101216; GNU Emacs 23.2.1 (i686-pc-linux-gnu, GTK+ Version 2.21.6); Isabelle 2011; Ubuntu 10.10. ",defect,closed,major,PG-Emacs-4.2,2:pg-emacs,upstream,emacsbug,