equal
deleted
inserted
replaced
26 val improper1 = tokens.forall(tok => !tok.is_proper) |
26 val improper1 = tokens.forall(tok => !tok.is_proper) |
27 val blank1 = tokens.forall(_.is_space) |
27 val blank1 = tokens.forall(_.is_space) |
28 val command1 = tokens.exists(_.is_begin_or_command) |
28 val command1 = tokens.exists(_.is_begin_or_command) |
29 |
29 |
30 val command_depth = |
30 val command_depth = |
31 tokens.iterator.filter(_.is_proper).toStream.headOption match { |
31 tokens.iterator.filter(_.is_proper).nextOption() match { |
32 case Some(tok) => |
32 case Some(tok) => |
33 if (keywords.is_command(tok, Keyword.close_structure)) |
33 if (keywords.is_command(tok, Keyword.close_structure)) |
34 Some(after_span_depth - 1) |
34 Some(after_span_depth - 1) |
35 else None |
35 else None |
36 case None => None |
36 case None => None |