src/Tools/jEdit/src/rendering.scala

     else if (ML_Lex.keywords3(token.source)) JEditToken.KEYWORD3
     else JEditToken.KEYWORD1
 
 
   /* markup elements */
+
+  private val indentation_elements =
+    Markup.Elements(Markup.Command_Indent.name)
 
   private val semantic_completion_elements =
     Markup.Elements(Markup.COMPLETION, Markup.NO_COMPLETION)
 
   private val language_context_elements =

 
   val markdown_item_color1 = color_value("markdown_item_color1")
   val markdown_item_color2 = color_value("markdown_item_color2")
   val markdown_item_color3 = color_value("markdown_item_color3")
   val markdown_item_color4 = color_value("markdown_item_color4")
+
+
+  /* indentation */
+
+  def indentation(range: Text.Range): Int =
+    snapshot.select(range, Rendering.indentation_elements, _ =>
+      {
+        case Text.Info(_, XML.Elem(Markup.Command_Indent(i), _)) => Some(i)
+        case _ => None
+      }).headOption.map(_.info).getOrElse(0)
 
 
   /* completion */
 
   def semantic_completion(completed_range: Option[Text.Range], range: Text.Range)