From: Reinout v. S. <re...@cs...> - 2004-01-31 02:09:45
|
On Sun, 25 Jan 2004, mike dillon wrote: > * CharacterMap 1.2: new version of the CharacterMap plugin provides the > following features - anti-aliased text, large character display, > better docking support and better configuration via an options pane; > requires jEdit 4.2pre1 and JDK 1.3 Nice. Unfortunately the character map still doesn't respect insert/overwrite mode, and just always inserts. -- Reinout van Schouwen Artificial Intelligence student email: re...@cs... mobile phone: +31-6-44360778 |