Re: [ jEdit-devel ] Unicode escape code converter plugin or macro?

[Lee T. <le...@le...>]

Hi Leston

Robert Fletcher wrote a very useful macro that does what you asking for.  It
is called Unicode_Escape.bsh and you can download it directly from the
community site if you have the Macro Manager plugin or it can be accessed
from the following link:

http://community.jedit.org/modules.php?op=modload&name=downloads&file=index&
req=viewdownloaddetails&lid=271&ttitle=Unicode_Escape.bsh

Hope this helps.

Kind Regards
Lee

----- Original Message -----
From: "Leston Buell" <bu...@fi...>
To: <jed...@li...>
Sent: Saturday, February 15, 2003 12:43 AM
Subject: [ jEdit-devel ] Unicode escape code converter plugin or macro?


> I remember that a month or so ago, someone had written a plugin (or
> macro) that would convert a Java Unicode escape code (e.g. "\u1234")
> into the Unicode character in the edit pane. But now i can't find
> anything about it anywhere, including my archived messages from this
> list and on the community.jedit.org message boards. Does anyone remember
>   where the message about this was posted? (I have run up against what i
> think is a Java bug in my own plugin, and this other plugin would
> provide an easy way to explore this bug.)
>
> Thanks,
>
> Leston
> bu...@uc...
>
>
>
> -------------------------------------------------------
> This SF.NET email is sponsored by: FREE  SSL Guide from Thawte
> are you planning your Web Server Security? Click here to get a FREE
> Thawte SSL guide and find the answers to all your  SSL security issues.
> http://ads.sourceforge.net/cgi-bin/redirect.pl?thaw0026en
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>