changeset 63439 | 5ad98525e918 |
parent 63434 | c956d995bec6 |
child 63440 | 2ce032a41a3a |
--- 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 _ => } }