equal
deleted
inserted
replaced
321 command_iterator(range.start) takeWhile { case (_, start) => start < range.stop } |
321 command_iterator(range.start) takeWhile { case (_, start) => start < range.stop } |
322 |
322 |
323 def command_start(cmd: Command): Option[Text.Offset] = |
323 def command_start(cmd: Command): Option[Text.Offset] = |
324 Node.Commands.starts(commands.iterator).find(_._1 == cmd).map(_._2) |
324 Node.Commands.starts(commands.iterator).find(_._1 == cmd).map(_._2) |
325 |
325 |
326 def get_text: String = |
326 def source: String = |
327 get_blob match { |
327 get_blob match { |
328 case Some(blob) => blob.bytes.text |
328 case Some(blob) => blob.bytes.text |
329 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString |
329 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString |
330 } |
330 } |
331 } |
331 } |