Opened 14 years ago
Closed 14 years ago
#319 closed enhancement (duplicate)
delete would be nice if it didn't expant symbols
| Reported by: | Lucas Dixon | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.1 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
currently, when hitting backspace after a Unicode symbol, the symbol is changed into its ascii form. This means that it takes 13 backspaces to remove a \<Rightarrow>. It would be nice if delete removes the whole symbol - I rarely edit the ascii body of symbols I've typed. Mostly I want to remove them and type something else. If we want to keep the current editing mode, maybe make it an option in PG menus.
Change History (2)
comment:1 Changed 14 years ago by
| Milestone: | PG-Emacs-4.0 → PG-Emacs-4.1 |
|---|---|
| Status: | new → accepted |
comment:2 Changed 14 years ago by
| Resolution: | → duplicate |
|---|---|
| Status: | accepted → closed |
Actually, there is already the ticket #290 which describes this.
Note: See
TracTickets for help on using
tickets.
Thanks for the report, this is a known usability issue but good to have a ticket.
I have an experimental remapping of the delete key but it isn't reliable just yet. At the moment I use M-DEL to delete a symbol as a workaround (backward-delete-word). You still have to delete an extra character but it isn't too much of a struggle.