Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#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

In Xemacs and Xsymbols, typing> results automatically in the

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 David Aspinall

Resolution: fixed
Status: newclosed

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.

comment:2 Changed 16 years ago by David Aspinall

PS: for the specific case of>, this shortcut was disabled, I think because of a clash with some other syntax. I've reinstated for now.
Note: See TracTickets for help on using tickets.