Re: [ jEdit-users ] unicode shortcuts

[Dimitri M. <dm...@bm...>]

On 11/01/2012 10:44 AM, Jim Baker wrote:
> I just tried the option shortcuts on Mac, and they do in fact work. I
> thought they didn't at some point, but I may be mistaken. I don't use
> unicode characters in jEdit very often. I tried it using the Oracle
> Java 7, and that worked as well, even though the Mac OS X plugin does
> not.
> 
> My point was that if we aren't going to go platform-specific, the
> ctrl+u solution noted by Alan is preferable to
> ctrl-shift-u+uncode_value+enter for brevity's sake.

There is no difference in the number of keystrokes between ctrl+u and
ctrl+shift+u. With enter your choices are "0-0-2-0-no enter" or
"2-0-enter" (the other option is to start a timer and time out of
unicode mode eventually, but that tends to be even more annoying).

-- 
Dimitri Maziuk
Programmer/sysadmin
BioMagResBank, UW-Madison -- http://www.bmrb.wisc.edu