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
|
