From: Alan E. <ala...@gm...> - 2017-07-10 20:18:13
|
Character Map plugin shows you the characters and lets you click on them to see or enter the characters that way. JakartaCommons plugin has actions "escape unicode" and "unescape unicode". On Mon, Jul 10, 2017 at 12:00 PM, e-letter <in...@gm...> wrote: > Readers, > > Is it possible to configure jedit so that unicode characters can be > typed directly into a buffer? > > ------------------------------------------------------------ > ------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |