# HG changeset patch
# User wenzelm
# Date 1262034285 -3600
# Node ID c7417fb4311229aebfe5472114ec971f1b89e652
# Parent  b0e3594c22bb8e1a9b9599f24283ff129a59d9dd
Standard_System;

diff -r b0e3594c22bb -r c7417fb43112 src/Tools/jEdit/src/jedit/isabelle_encoding.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Wed Dec 23 20:35:47 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Mon Dec 28 22:04:45 2009 +0100
@@ -27,7 +27,7 @@
 
 class Isabelle_Encoding extends Encoding
 {
-  private val charset = Charset.forName(Isabelle_System.charset)
+  private val charset = Charset.forName(Standard_System.charset)
   private val BUFSIZE = 32768
 
   private def text_reader(in: InputStream, decoder: CharsetDecoder): Reader =
@@ -53,8 +53,8 @@
     val buffer = new ByteArrayOutputStream(BUFSIZE) {
       override def flush()
       {
-        val text = Isabelle.system.symbols.encode(toString(Isabelle_System.charset))
-        out.write(text.getBytes(Isabelle_System.charset))
+        val text = Isabelle.system.symbols.encode(toString(Standard_System.charset))
+        out.write(text.getBytes(Standard_System.charset))
         out.flush()
       }
       override def close() { out.close() }