Re: [ jEdit-users ] RFE: list available charsets

[Slava P. <sl...@je...>]

I will use this API in jEdit 4.2pre5 (if running on JDK 1.4, on 1.3 it
will use the same hard-coded list as before).

On Fri, 2003-08-22 at 17:57, ne...@ho... wrote:
> Hi,
> 
> Could java.nio.charset.Charset.AvailableCharsets() be used to retrieve a 
> list of available charsets, to be used in the buffer options "character 
> encoding" drop-down box?  (Yes, having read the fine manual, I realize I 
> can type the name into the field :).
> 
> Thanks,
> Jim
> 
> 
> 
> -------------------------------------------------------
> This SF.net email is sponsored by: VM Ware
> With VMware you can run multiple operating systems on a single machine.
> WITHOUT REBOOTING! Mix Linux / Windows / Novell virtual machines
> at the same time. Free trial click here:http://www.vmware.com/wl/offer/358/0
-- 
Slava Pestov