#210 closed enhancement (fixed)
input of symbols in Carbon Emacs
Reported by: | Generic Isabelle user | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
symbol \<mapsto>. But not in Carbon Emacs. This is quite annoying, because some frequently used symbols have rather long names. Typing them explicitly is a major nuisance.
Change History (2)
comment:1 Changed 16 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
comment:2 Changed 16 years ago by
Note: See
TracTickets for help on using
tickets.
Do you mean using the "Unicode Tokens" mechanism in Carbon Emacs?
If so, shortcut inputs are implemented in the PG CVS version. So I'm closing this.
See isar/isar-unicode-tokens.el and search for isar-shortcut-alist. You can customize this, or add suggestions for improvements to a new ticket.
Discussion: note that the input mechanism is a bit more low level than the custom method that was implemented in X-Symbols and not quite as friendly. E.g., the shortcut will insert the corresponding Unicode character(s), not the token sequence. The Unicode sequence will be coverted back to a token when the file is written. This is potentially more fragile than working with the true underlying text, but much simpler.
We have an alternative experimental version of Unicode symbols which alters the display format while retaining the tokenised underlying text in the buffer, as X-Symbols does, but it has other drawbacks at the moment.