--- a/src/Tools/jEdit/dist-template/properties/jedit.props Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props Fri Jun 26 18:24:03 2009 +0200
@@ -1,6 +1,6 @@
#jEdit properties
buffer.deepIndent=false
-buffer.encoding=UTF-8-isabelle
+buffer.encoding=UTF-8-Isabelle
buffer.indentSize=2
buffer.lineSeparator=\n
buffer.maxLineLen=100
--- a/src/Tools/jEdit/plugin/services.xml Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/plugin/services.xml Fri Jun 26 18:24:03 2009 +0200
@@ -4,7 +4,7 @@
<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
new isabelle.jedit.VFS();
</SERVICE>
- <SERVICE NAME="UTF-8-isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
+ <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
new isabelle.jedit.IsabelleEncoding();
</SERVICE>
<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
--- a/src/Tools/jEdit/src/jedit/Plugin.scala Fri Jun 26 18:23:30 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala Fri Jun 26 18:24:03 2009 +0200
@@ -30,6 +30,8 @@
val NAME = "Isabelle"
val VFS_PREFIX = "isabelle:"
+ val ISABELLE_ENCODING = "UTF-8-Isabelle"
+
/* properties */