[Java-readline-devel] Re: alternative input encoding

[Bernhard B. <ma...@ba...>]

Hi,

the patch seems reasonable and useful. I will integrate the patch in the =
next=20
version. Regarding the native libs: Readline has no problems, but I don't=
=20
know about Editline, since it does not work on my machines.

Bernhard

> Hi,
>
> here is a small patch to Readline.java that makes
> it possible to use an alternative encoding when
> using the "PureJava" readline library (passing an
> encoding to the InputStreamReader). It might be an
> idea to extend it to cover the native libraries
> too. I didn't look at it too much.
>
> 93a94,95
>
> >   private static String encoding =3D
>
> System.getProperty("file.encoding", "iso-8859-1");
>
> 143a146,149
>
> >   public static void setEncoding(String _encoding) {
> >       encoding =3D _encoding;
> >   }
>
> 194c200
> <         iReader =3D new BufferedReader(new
> InputStreamReader(System.in));
> ---
>
> >         iReader =3D new BufferedReader(new
>
> InputStreamReader(System.in, encoding));
>
>  . -- Rasmus