--- a/src/Tools/jEdit/dist-template/etc/settings Thu Aug 05 18:17:59 2010 +0200
+++ b/src/Tools/jEdit/dist-template/etc/settings Thu Aug 05 21:40:20 2010 +0200
@@ -1,3 +1,5 @@
+# -*- shell-script -*- :mode=shellscript:
+
JEDIT_HOME="$COMPONENT"
JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit"