# HG changeset patch
# User wenzelm
# Date 1261135770 -3600
# Node ID 3975494a4d8f0501243fd7ae1efc48398f7e1e6b
# Parent  65130daf2883d6fc8ee964b22ffaeedbb545f20b
tuned;

diff -r 65130daf2883 -r 3975494a4d8f src/Tools/jEdit/src/jedit/isabelle_encoding.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Thu Dec 17 20:25:39 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Fri Dec 18 12:29:30 2009 +0100
@@ -22,7 +22,7 @@
   val NAME = "UTF-8-Isabelle"
 
   def is_active(buffer: JEditBuffer): Boolean =
-    buffer.getProperty(JEditBuffer.ENCODING).asInstanceOf[String] == NAME
+    buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == NAME
 }
 
 class Isabelle_Encoding extends Encoding