diff -r 9974230f9574 -r 5ad98525e918 src/Tools/jEdit/src/text_structure.scala --- a/src/Tools/jEdit/src/text_structure.scala Mon Jul 11 11:16:10 2016 +0200 +++ b/src/Tools/jEdit/src/text_structure.scala Mon Jul 11 13:56:30 2016 +0200 @@ -121,7 +121,7 @@ } actions.clear() - actions.add(new IndentAction.AlignOffset(indent)) + actions.add(new IndentAction.AlignOffset(indent max 0)) case _ => } }