author | immler@in.tum.de |
Thu, 13 Nov 2008 11:59:39 +0100 | |
changeset 34363 | 0fec381fb51e |
parent 34362 | 917af128270b |
child 34364 | 8df6519599ef |
--- a/src/Tools/jEdit/src/jedit/VFS.scala Tue Nov 11 15:27:48 2008 +0100 +++ b/src/Tools/jEdit/src/jedit/VFS.scala Thu Nov 13 11:59:39 2008 +0100 @@ -34,9 +34,9 @@ else buffer.append(array, 0, length) } - + val str = converter.decode(buffer.toString()) - new ByteArrayInputStream(str.getBytes()) + new ByteArrayInputStream(str.getBytes("UTF-8")) } class OutputConverter(out : OutputStream) extends ByteArrayOutputStream {