--- a/src/Tools/jEdit/src/isabelle.scala Tue Sep 06 13:26:14 2016 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala Tue Sep 06 15:02:22 2016 +0200
@@ -284,12 +284,10 @@
val (tokens1, context1) = line_content(line_range.start, caret, context0)
val (tokens2, _) = line_content(caret, line_range.stop, context1)
- if (tokens1.nonEmpty &&
- (tokens1.head.is_begin_or_command || keywords.is_quasi_command(tokens1.head)))
+ if (tokens1.nonEmpty && keywords.is_indent_command(tokens1.head))
buffer.indentLine(line, true)
- if (tokens2.isEmpty ||
- tokens2.head.is_begin_or_command || keywords.is_quasi_command(tokens2.head))
+ if (tokens2.isEmpty || keywords.is_indent_command(tokens2.head))
JEdit_Lib.buffer_edit(buffer) {
text_area.setSelectedText("\n")
if (!buffer.indentLine(line + 1, true)) text_area.goToStartOfWhiteSpace(false)