changeset 34858 | ad486bd8abf3 |
parent 34856 | aa9e22d9f9a7 |
child 34864 | fd6801e87944 |
--- a/src/Tools/jEdit/src/jedit/document_model.scala Sun Jan 10 21:08:23 2010 +0100 +++ b/src/Tools/jEdit/src/jedit/document_model.scala Sun Jan 10 21:14:44 2010 +0100 @@ -84,7 +84,7 @@ def lines_of_command(doc: Document, cmd: Command): (Int, Int) = { - val start = cmd.start(doc) + val start = doc.command_start(cmd).get // FIXME total? val stop = start + cmd.length (buffer.getLineOfOffset(to_current(doc, start)), buffer.getLineOfOffset(to_current(doc, stop)))