changeset 52901 | 8be75f53db82 |
parent 52887 | 98eac7b7eec3 |
child 53843 | 88c6e630c15f |
--- a/src/Pure/Thy/thy_syntax.scala Wed Aug 07 19:59:58 2013 +0200 +++ b/src/Pure/Thy/thy_syntax.scala Wed Aug 07 20:32:54 2013 +0200 @@ -193,7 +193,7 @@ { eds match { case e :: es => - Document.Node.command_starts(commands.iterator).find { + Document.Node.Commands.starts(commands.iterator).find { case (cmd, cmd_start) => e.can_edit(cmd.source, cmd_start) || e.is_insert && e.start == cmd_start + cmd.length