|
From: Dimitri M. <dm...@bm...> - 2012-11-01 17:16:01
|
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 |