Re: [ jEdit-users ] unicode shortcuts

[Alan E. <ala...@gm...>]

With the current trunk of jakartacommons 0.7, you can bind the "unescape
unicode" action to Ctrl+U and then you type the 2020 followed by Ctrl+u and
it will do what you want (except you have to do ctrl+u after the number
instead of before).



On Wed, Oct 31, 2012 at 1:17 AM, e-letter <in...@gm...> wrote:

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