equal
deleted
inserted
replaced
128 } |
128 } |
129 else (ind1, false) |
129 else (ind1, false) |
130 }).collectFirst({ case (i, true) => i }).getOrElse(0) |
130 }).collectFirst({ case (i, true) => i }).getOrElse(0) |
131 |
131 |
132 def indent_brackets: Int = |
132 def indent_brackets: Int = |
133 prev_line_span.foldLeft(0)( |
133 prev_line_span.foldLeft(0) { |
134 { case (i, tok) => |
134 case (i, tok) => |
135 if (tok.is_open_bracket) i + indent_size |
135 if (tok.is_open_bracket) i + indent_size |
136 else if (tok.is_close_bracket) i - indent_size |
136 else if (tok.is_close_bracket) i - indent_size |
137 else i }) |
137 else i |
|
138 } |
138 |
139 |
139 def indent_extra: Int = |
140 def indent_extra: Int = |
140 if (prev_span.exists(keywords.is_quasi_command)) indent_size |
141 if (prev_span.exists(keywords.is_quasi_command)) indent_size |
141 else 0 |
142 else 0 |
142 |
143 |