src/Tools/jEdit/src/isabelle.scala

--- a/src/Tools/jEdit/src/isabelle.scala	Thu Jul 07 12:02:58 2016 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Thu Jul 07 12:08:00 2016 +0200
@@ -18,6 +18,7 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.textarea.{JEditTextArea, StructureMatcher, Selection}
 import org.gjt.sp.jedit.syntax.TokenMarker
+import org.gjt.sp.jedit.indent.IndentRule
 import org.gjt.sp.jedit.gui.{DockableWindowManager, CompleteWord}
 import org.jedit.options.CombinedOptions
 
@@ -83,6 +84,15 @@
   }
 
 
+  /* indentation */
+
+  def mode_indent_rule(mode: String): Option[IndentRule] =
+    mode match {
+      case "isabelle" => Some(Token_Markup.Indent_Rule)
+      case _ => None
+    }
+
+
   /* structure matchers */
 
   def structure_matchers(name: String): List[StructureMatcher] =