[plt-dev] Unicode is a pain
On Tue, Sep 15, 2009 at 7:15 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> Not really, if you count the time it'd take me to look up in Help Desk
> how to do that. I already know how to type the alphabet; I haven't
> memorized DrScheme's Unicode shortcuts. Nor does every programmer
> interested in the contract system necessarily use DrScheme as their
> primary editor.
These shortcuts aren't specific to DrScheme, though, and work fine in
Emacs with the TeX input mode.
(I'm only chiming in because I actually really appreciate that
DrScheme supports the same shortcuts for unicode characters that I'm
used to in Emacs.)
Anthony