use utf-8 charset encoding
authorimmler@in.tum.de
Thu, 13 Nov 2008 11:59:39 +0100
changeset 34363 0fec381fb51e
parent 34362 917af128270b
child 34364 8df6519599ef
use utf-8 charset encoding
src/Tools/jEdit/src/jedit/VFS.scala
--- 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 {