src/Tools/jEdit/src/text_structure.scala
changeset 63439 5ad98525e918
parent 63434 c956d995bec6
child 63440 2ce032a41a3a
equal deleted inserted replaced
63436:9974230f9574 63439:5ad98525e918
   119                   }
   119                   }
   120                }
   120                }
   121             }
   121             }
   122 
   122 
   123           actions.clear()
   123           actions.clear()
   124           actions.add(new IndentAction.AlignOffset(indent))
   124           actions.add(new IndentAction.AlignOffset(indent max 0))
   125         case _ =>
   125         case _ =>
   126       }
   126       }
   127     }
   127     }
   128   }
   128   }
   129 
   129