Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified indentation (amending 37a3fc20154d);
authorwenzelm
Wed, 13 Jul 2016 20:00:56 +0200
changeset 63482 cf2d332acb7c
parent 63481 cbc71faf7673
child 63483 2c9444125485
clarified indentation (amending 37a3fc20154d);
src/Tools/jEdit/src/text_structure.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/text_structure.scala	Wed Jul 13 19:57:30 2016 +0200
+++ b/src/Tools/jEdit/src/text_structure.scala	Wed Jul 13 20:00:56 2016 +0200
@@ -141,6 +141,8 @@
                 if (tok.is_begin ||
                     keywords.is_before_command(tok) ||
                     keywords.is_command(tok, Keyword.theory)) 0
+                else if (keywords.is_command(tok, Keyword.proof_enclose))
+                  indent_structure + script_indent(info) - indent_offset(tok)
                 else if (keywords.is_command(tok, Keyword.proof))
                   (indent_structure + script_indent(info) - indent_offset(tok)) max indent_size
                 else if (tok.is_command) indent_structure - indent_offset(tok)
isabelle