Re: [ jEdit-users ] unicode shortcuts

[Darien B. <da...@tr...>]

I don't think this can be done directly in a Java app since the VM is processing the keystrokes rather than a system text-input component. I think that would require some sort of key binding on the text area to listen for and process special input sequences like Ctrl+Shift+U. As far as I know, no such handler exists in jEdit.

Personally, I've always typed them in gedit and copy/pasted.


-----Original Message-----
From: e-letter [mailto:in...@gm...] 
Sent: Wednesday, October 31, 2012 4:17 AM
To: jed...@li...
Subject: [ jEdit-users ] unicode shortcuts

Readers,

The keyboard combination for the unicode character 'dagger' (†), is
ctrl+u 2020. These keys do not work in jedit. How to make this
possible please, for all unicode characters (i.e. not to use character map plugin with the mouse).

Thanks.

jedit 452
ibmjava170

------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_sfd2d_oct
--
-----------------------------------------------
jEdit Users' List
jEd...@li...
https://lists.sourceforge.net/lists/listinfo/jedit-users