# HG changeset patch
# User wenzelm
# Date 1244398647 -7200
# Node ID 378537df7fff55e94cecb71937e24e4e1dd1871a
# Parent  f13d4df95b00c85f21e1f5832263d89e6b498136
static IsabelleSystem.charset (cf. http://isabelle.in.tum.de/repos/isabelle/rev/be0f7f4f9e12);

diff -r f13d4df95b00 -r 378537df7fff src/Tools/jEdit/src/jedit/VFS.scala
--- a/src/Tools/jEdit/src/jedit/VFS.scala	Thu Jun 04 23:19:17 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/VFS.scala	Sun Jun 07 20:17:27 2009 +0200
@@ -24,8 +24,8 @@
 object VFS {  
   val BUFFER_SIZE = 1024
   
-  def input_converter(isabelle_system: IsabelleSystem, in: InputStream) = {
-    val reader = new InputStreamReader(in, Isabelle.system.charset)
+  def input_converter(in: InputStream) = {
+    val reader = new InputStreamReader(in, IsabelleSystem.charset)
     val buffer = new StringBuilder
     val array = new Array[Char](BUFFER_SIZE)
     
@@ -39,7 +39,7 @@
     }
 
     val str = Isabelle.symbols.decode(buffer.toString)
-    new ByteArrayInputStream(str.getBytes(isabelle_system.charset))
+    new ByteArrayInputStream(str.getBytes(IsabelleSystem.charset))
   }
   
   class OutputConverter(out: OutputStream) extends ByteArrayOutputStream {
@@ -163,7 +163,7 @@
   
   override def _createInputStream(session: Object, path: String,
       ignoreErrors: Boolean, comp: Component) =
-    VFS.input_converter(Isabelle.system, baseVFS._createInputStream(session, cutPath(path), ignoreErrors, comp))
+    VFS.input_converter(baseVFS._createInputStream(session, cutPath(path), ignoreErrors, comp))
   
   override def _createOutputStream(session: Object, path: String, comp: Component) =
     new VFS.OutputConverter(baseVFS._createOutputStream(session, cutPath(path), comp))