equal
deleted
inserted
replaced
43 case Some(model) => |
43 case Some(model) => |
44 val document = model.recent_document() |
44 val document = model.recent_document() |
45 val offset = model.from_current(document, original_offset) |
45 val offset = model.from_current(document, original_offset) |
46 document.command_at(offset) match { |
46 document.command_at(offset) match { |
47 case Some(command) => |
47 case Some(command) => |
48 command.ref_at(document, offset - command.start(document)) match { |
48 document.current_state(command).ref_at(offset - command.start(document)) match { |
49 case Some(ref) => |
49 case Some(ref) => |
50 val command_start = command.start(document) |
50 val command_start = command.start(document) |
51 val begin = model.to_current(document, command_start + ref.start) |
51 val begin = model.to_current(document, command_start + ref.start) |
52 val line = buffer.getLineOfOffset(begin) |
52 val line = buffer.getLineOfOffset(begin) |
53 val end = model.to_current(document, command_start + ref.stop) |
53 val end = model.to_current(document, command_start + ref.stop) |